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.
A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava
| 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
| 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
| 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 | ||
| ||
Finite structures with few types / Gregory Cherlin and Ehud Hrushovski
| Finite structures with few types / Gregory Cherlin and Ehud Hrushovski |
| Autore | Cherlin, Gregory |
| Pubbl/distr/stampa | Princeton ; Oxford, : Princeton university, 2003 |
| Descrizione fisica | VI, 193 p. ; 24 cm. |
| Altri autori (Persone) | Hrushovski, Ehud |
| Soggetto topico |
03C45 - Classification theory, stability and related concepts in model theory [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] |
| ISBN | 06-911133-1-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055265 |
|
Cherlin, Gregory
|
||
| Princeton ; Oxford, : Princeton university, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite structures with few types / Gregory Cherlin and Ehud Hrushovski
| Finite structures with few types / Gregory Cherlin and Ehud Hrushovski |
| Autore | Cherlin, Gregory |
| Pubbl/distr/stampa | Princeton ; Oxford, : Princeton university, 2003 |
| Descrizione fisica | VI, 193 p. ; 24 cm. |
| Altri autori (Persone) | Hrushovski, Ehud |
| Soggetto topico |
03C45 - Classification theory, stability and related concepts in model theory [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] |
| ISBN | 06-911133-1-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055265 |
|
Cherlin, Gregory
|
||
| Princeton ; Oxford, : Princeton university, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite structures with few types / Gregory Cherlin and Ehud Hrushovski
| Finite structures with few types / Gregory Cherlin and Ehud Hrushovski |
| Autore | Cherlin, Gregory |
| Pubbl/distr/stampa | Princeton ; Oxford, : Princeton university, 2003 |
| Descrizione fisica | VI, 193 p. ; 24 cm |
| Altri autori (Persone) | Hrushovski, Ehud |
| Soggetto topico |
03C13 - Model theory of finite structures [MSC 2020]
03C35 - Categoricity and completeness of theories [MSC 2020] 03C45 - Classification theory, stability and related concepts in model theory [MSC 2020] |
| ISBN | 06-911133-1-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00055265 |
|
Cherlin, Gregory
|
||
| Princeton ; Oxford, : Princeton university, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton
| Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
| Autore | Lightstone, Albert H. |
| Pubbl/distr/stampa | New York, : Plenum, 1978 |
| Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 03B05 - Classical propositional logic [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268201 |
|
Lightstone, Albert H.
|
||
| New York, : Plenum, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton
| Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
| Autore | Lightstone, Albert H. |
| Pubbl/distr/stampa | New York, : Plenum, 1978 |
| Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03H05 - Nonstandard models in mathematics [MSC 2020] |
| Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268201 |
|
Lightstone, Albert H.
|
||
| New York, : Plenum, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Notes on infinite permutation groups / M. Bhattacharjee ... [et al.]
| Notes on infinite permutation groups / M. Bhattacharjee ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1998 |
| Descrizione fisica | XI, 202 p. ; 24 cm |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
20B07 - General theory for infinite permutation groups [MSC 2020] 20B27 - Infinite automorphism groups [MSC 2020] 20B10 - Characterization theorems for permutation groups [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 20B15 - Primitive groups [MSC 2020] 20B22 - Multiply transitive infinite groups [MSC 2020] 20F60 - Ordered groups (group-theoretic aspects) [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] |
| Soggetto non controllato |
Automorphism groups
Combinatorics Group theory Homogeneous structures Jordan group Model theory Permutation Groups |
| ISBN | 978-35-406-4965-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0052606 |
| Berlin, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Notes on infinite permutation groups / M. Bhattacharjee ... [et al.]
| Notes on infinite permutation groups / M. Bhattacharjee ... [et al.] |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 1998 |
| Descrizione fisica | XI, 202 p. ; 24 cm |
| Soggetto topico |
03C35 - Categoricity and completeness of theories [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 20-XX - Group theory and generalizations [MSC 2020] 20B07 - General theory for infinite permutation groups [MSC 2020] 20B10 - Characterization theorems for permutation groups [MSC 2020] 20B15 - Primitive groups [MSC 2020] 20B22 - Multiply transitive infinite groups [MSC 2020] 20B27 - Infinite automorphism groups [MSC 2020] 20F60 - Ordered groups (group-theoretic aspects) [MSC 2020] |
| Soggetto non controllato |
Automorphism groups
Combinatorics Group theory Homogeneous structures Jordan group Model theory Permutation Groups |
| ISBN | 978-35-406-4965-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00052606 |
| Berlin [etc.], : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
