Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler |
Autore | Chang Chen Chung |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (181 pages) |
Disciplina | 164 |
Collana | Annals of Mathematics Studies |
Soggetto topico | Model theory |
Soggetto non controllato |
Compact space
Compactness theorem Continuous function Logical connective Model theory Set function Truth value |
ISBN | 1-4008-8205-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE -- TABLE OF CONTENTS -- CHAPTER I. TOPOLOGICAL PRELIMINARIES -- CHAPTER II. CONTINUOUS LOGICS -- CHAPTER III. MODEL-THEORETIC PRELIMINARIES -- CHAPTER IV. ELEMENTARILY EQUIVALENT MODELS -- CHAPTER V. ULTRAPRODUCTS OF MODELS AND APPLICATIONS -- CHAPTER VI. SPECIAL MODELS -- CHAPTER VII. CLASSES PRESERVED UNDER ALGEBRAIC RELATIONS -- HISTORICAL NOTES -- BIBLIOGRAPHY -- INDEX OF SYMBOLS -- INDEX OF DEFINITIONS -- INDEX OF EXERCISES -- Backmatter |
Record Nr. | UNINA-9910154748803321 |
Chang Chen Chung
![]() |
||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
Pubbl/distr/stampa | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
Descrizione fisica | 1 online resource (1179 p.) |
Disciplina | 511.3 |
Altri autori (Persone) |
BarwiseJon
KeislerH. Jerome |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico | Logic, Symbolic and mathematical |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-16918-1
9786612169182 0-08-093364-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
Record Nr. | UNINA-9910511500003321 |
Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
Pubbl/distr/stampa | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
Descrizione fisica | 1 online resource (1179 p.) |
Disciplina | 511.3 |
Altri autori (Persone) |
BarwiseJon
KeislerH. Jerome |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico | Logic, Symbolic and mathematical |
ISBN |
1-282-16918-1
9786612169182 0-08-093364-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
Record Nr. | UNINA-9910783094303321 |
Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of mathematical logic / / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
Pubbl/distr/stampa | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
Descrizione fisica | 1 online resource (1179 p.) |
Disciplina | 511/.3 |
Altri autori (Persone) |
BarwiseJon
KeislerH. Jerome |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico | Logic, Symbolic and mathematical |
ISBN |
1-282-16918-1
9786612169182 0-08-093364-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
Record Nr. | UNINA-9910821208503321 |
Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|