top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler
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]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Handbook of mathematical logic / / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui