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 | ||
Materiale a stampa | ||
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 | ||
Materiale a stampa | ||
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A course on set theory / Ernest Schimmerling |
Autore | Schimmerling, Ernest |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 2011 |
Descrizione fisica | ix, 168 p. : ill. ; 23 cm. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
ISBN | 978-11-07-40048-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0125953 |
Schimmerling, Ernest | ||
Cambridge, : Cambridge university, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A course on set theory / Ernest Schimmerling |
Autore | Schimmerling, Ernest |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 2011 |
Descrizione fisica | ix, 168 p. : ill. ; 23 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
ISBN | 978-11-07-40048-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0125953 |
Schimmerling, Ernest | ||
Cambridge, : Cambridge university, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A course on set theory / Ernest Schimmerling |
Autore | Schimmerling, Ernest |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 2011 |
Descrizione fisica | ix, 168 p. : ill. ; 23 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
ISBN | 978-11-07-40048-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00125953 |
Schimmerling, Ernest | ||
Cambridge, : Cambridge university, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A delicate balance : global perspectives on innovation and tradition in the history of mathematics : a Festschrift in Honor of Joseph W. Dauben / David E. Rowe, Wann-Sheng Horng editors |
Edizione | [[Cham] : Birkhauser : Springer, 2015] |
Pubbl/distr/stampa | XIV, 428 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 01-XX - History and biography [MSC 2020] 00B30 - Festschriften [MSC 2020] 01A05 - General histories, source books [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0113275 |
XIV, 428 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A delicate balance: global perspectives on innovation and tradition in the history of mathematics : a Festschrift in Honor of Joseph W. Dauben / David E. Rowe, Wann-Sheng Horng editors |
Pubbl/distr/stampa | [Cham], : Birkhauser, : Springer, 2015 |
Descrizione fisica | XIV, 428 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] 01-XX - History and biography [MSC 2020] 00B30 - Festschriften [MSC 2020] 01A05 - General histories, source books [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
Soggetto non controllato |
Festschrift
Global perspectives History of mathematics Joseph W. Dauben Set Theory |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0113275 |
[Cham], : Birkhauser, : Springer, 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A delicate balance: global perspectives on innovation and tradition in the history of mathematics : a Festschrift in Honor of Joseph W. Dauben / David E. Rowe, Wann-Sheng Horng editors |
Pubbl/distr/stampa | [Cham], : Birkhauser, : Springer, 2015 |
Descrizione fisica | XIV, 428 p. : ill. ; 24 cm |
Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 00B30 - Festschriften [MSC 2020] 01-XX - History and biography [MSC 2020] 01A05 - General histories, source books [MSC 2020] 01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] |
Soggetto non controllato |
Festschrift
Global perspectives History of mathematics Joseph W. Dauben Set Theory |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00113275 |
[Cham], : Birkhauser, : Springer, 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman |
Autore | Hedman, Shawn |
Pubbl/distr/stampa | Oxford, : Oxford university, 2004 |
Descrizione fisica | XX, 431 p. : ill. ; 24 cm. |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 01-985298-0-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0051461 |
Hedman, Shawn | ||
Oxford, : Oxford university, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|