3.: Model Theory / Heinz-Dieter Ebbinghaus (Editor) |
Pubbl/distr/stampa | Berlin, : Springer, 1987 |
Descrizione fisica | XLV, 617 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A15 - Bibliographies for mathematics in general [MSC 2020] 03Cxx - Model theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] |
Soggetto non controllato |
Computability theory
Mathematical logic Model theory Proofs Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0264350 |
Berlin, : Springer, 1987 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava |
Autore | Sarbadhikari, Haimanti |
Pubbl/distr/stampa | Singapore, : Springer, 2017 |
Descrizione fisica | xix, 291 p. : ill. ; 24 cm |
Altri autori (Persone) | Srivastava, Sashi Mohan |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C50 - Models with special properties (saturated, rigid, etc.) [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
Soggetto non controllato |
Algebra
Forking Independence Löwenheim–Skolem Theorem Mathematical logic Minimal and O-Minimal Theories Model theory Monster Model Morley Categoricity Theorem Stable Theories |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0123450 |
Sarbadhikari, Haimanti
![]() |
||
Singapore, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
Pubbl/distr/stampa | Singapore, : Springer, 2021 |
Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0275416 |
Singapore, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers |
Pubbl/distr/stampa | Berlin, : Springer, 1973 |
Descrizione fisica | ix, 660 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
Soggetto non controllato |
Logic
Mathematical logic Model theory Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0255804 |
Berlin, : Springer, 1973 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin (ed.) |
Pubbl/distr/stampa | Berlin, : Springer, 1987 |
Descrizione fisica | 500 p. ; 24 cm |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
Soggetto non controllato |
Forcing
Mathematical logic Model theory |
ISBN | 978-35-401-8674-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0071658 |
Berlin, : Springer, 1987 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / edited by J. T. Baldwin |
Pubbl/distr/stampa | Berlin, : Springer, 1987 |
Descrizione fisica | 500 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03Cxx - Model theory [MSC 2020] |
Soggetto non controllato |
Forcing
Mathematical logic Model theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0264110 |
Berlin, : Springer, 1987 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Combinatorial Functors / J. N. Crossley, Anil Nerode |
Autore | Crossley, John N. |
Pubbl/distr/stampa | Berlin, : Springer, 1974 |
Descrizione fisica | viii, 146 p. ; 24 cm |
Altri autori (Persone) | Nerode, Anil <1932- > |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03D50 - Recursive equivalence types of sets and structures, isols [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 18B05 - Categories of sets, characterizations [MSC 2020] |
Soggetto non controllato |
Combinatorics
Equations Finite Functions Identity Logic Mathematics Model Model theory Morphism Topology |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0255990 |
Crossley, John N.
![]() |
||
Berlin, : Springer, 1974 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
|
Feferman on Foundations : Logic, Mathematics, Philosophy / Gerhard Jäger, Wilfried Sieg editors |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | lxxx, 551 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
Soggetto non controllato |
Foundations of category theory
Gödel, Minds and Machines Model theory New axioms and the continuum problem Predicativity Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124378 |
Cham, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Formally p-adic fields / Alexander Prestel, Peter Roquette |
Autore | Prestel, Alexander |
Pubbl/distr/stampa | Berlin, : Springer, 1984 |
Descrizione fisica | iv, 167 p. ; 24 cm |
Altri autori (Persone) | Roquette, Peter J. |
Soggetto topico |
12-XX - Field theory and polynomials [MSC 2020]
12J10 - Valued fields [MSC 2020] 14A05 - Relevant commutative algebra [MSC 2020] 14G20 - Local ground fields in algebraic geometry [MSC 2020] 12Dxx - Real and complex fields [MSC 2020] 12L12 - Model theory of fields [MSC 2020] 12J12 - Formally p-adic fields [MSC 2020] |
Soggetto non controllato |
Fields
Formally p-adic fields Functions Model theory |
ISBN | 978-35-401-2890-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0250877 |
Prestel, Alexander
![]() |
||
Berlin, : Springer, 1984 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|