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 | ||
|
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]
03C35 - Categoricity and completeness of theories [MSC 2020] 03C50 - Models with special properties (saturated, rigid, etc.) [MSC 2020] 03C60 - Model-theoretic algebra [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-VAN00123450 |
Sarbadhikari, Haimanti
![]() |
||
Singapore, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava |
Autore | Sarbadhikari, Haimanti |
Edizione | [Singapore : Springer, 2017] |
Pubbl/distr/stampa | xix, 291 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
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] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0123450 |
Sarbadhikari, Haimanti
![]() |
||
xix, 291 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A Course on Basic Model Theory / / by Haimanti Sarbadhikari, Shashi Mohan Srivastava |
Autore | Sarbadhikari Haimanti |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIX, 291 p.) |
Disciplina | 511.3 |
Soggetto topico |
Mathematical logic
Algebraic geometry Number theory Mathematical Logic and Foundations Algebraic Geometry Number Theory |
ISBN | 981-10-5098-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Basic Introductory Concepts -- Chapter 2. Basic Introductory Results -- Chapter 3. Spaces of Types -- Chapter 4. Good Structures and Good Theories -- Chapter 5. Morley Categoricity Theorem and Forking Independence -- Chapter 6. Model Theory of Valued Fields. |
Record Nr. | UNINA-9910254299603321 |
Sarbadhikari Haimanti
![]() |
||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|