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 | ||
|
Algebraic model theory / [proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996] ; edited by Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote |
Autore | NATO Advanced Study Institute on Algebraic Model Theory : 1996 |
Pubbl/distr/stampa | Dordrecht, : Kluwer, 1997 |
Descrizione fisica | XVII, 277 p. : ill. ; 25 cm |
Soggetto topico |
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03C64 - Model theory of ordered structures; o-minimality [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
ISBN | 07-923466-6-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0051840 |
NATO Advanced Study Institute on Algebraic Model Theory : 1996 | ||
Dordrecht, : Kluwer, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algebraic model theory / [proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996] ; edited by Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote |
Autore | NATO Advanced Study Institute on Algebraic Model Theory : 1996 |
Pubbl/distr/stampa | Dordrecht, : Kluwer, 1997 |
Descrizione fisica | XVII, 277 p. : ill. ; 25 cm |
Soggetto topico |
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03C64 - Model theory of ordered structures; o-minimality [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
ISBN | 07-923466-6-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00051840 |
NATO Advanced Study Institute on Algebraic Model Theory : 1996 | ||
Dordrecht, : Kluwer, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algebraic model theory / [proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996] ; edited by Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote |
Autore | NATO Advanced Study Institute on Algebraic Model Theory : 1996 |
Edizione | [Dordrecht : Kluwer, 1997] |
Pubbl/distr/stampa | XVII, 277 p., : ill. ; 25 cm |
Descrizione fisica | Published in cooperation with NATO Scientific Affairs Division. |
Soggetto topico |
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03C64 - Model theory of ordered structures; o-minimality [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
ISBN | 07-923466-6-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0051840 |
NATO Advanced Study Institute on Algebraic Model Theory : 1996 | ||
XVII, 277 p., : ill. ; 25 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Field arithmetic / Michael D. Fried, Moshe Jarden |
Autore | Fried, Michael D. <1942- > |
Pubbl/distr/stampa | Berlin, : Springer, 1986 |
Descrizione fisica | xvi, 458 p. : ill. ; 25 cm |
Altri autori (Persone) | Jarden, Moshe |
Soggetto topico |
12-XX - Field theory and polynomials [MSC 2020]
14G05 - Rational points [MSC 2020] 12E25 - Hilbertian fields; Hilbert's irreducibility theorem [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 03C20 - Ultraproducts and related constructions [MSC 2020] 12E30 - Field arithmetic [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 12L12 - Model theory of fields [MSC 2020] 12L15 - Nonstandard arithmetic and field theory [MSC 2020] 12L05 - Decidability and field theory [MSC 2020] |
Soggetto non controllato |
Absolute Galois Groups
Algebra Algebraic Geometry Finite Groups Galois Stratification Galois groups Galois theory Hilbertian Fields Irreducibility PAC Fields Profinite groups ultraproductS |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0263774 |
Fried, Michael D. <1942- > | ||
Berlin, : Springer, 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Field arithmetic / Michael D. Fried, Moshe Jarden |
Autore | Fried, Michael D. <1942- > |
Pubbl/distr/stampa | Berlin, : Springer, 1986 |
Descrizione fisica | xvi, 458 p. : ill. ; 25 cm |
Altri autori (Persone) | Jarden, Moshe |
Soggetto topico |
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
03C20 - Ultraproducts and related constructions [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 12-XX - Field theory and polynomials [MSC 2020] 12E25 - Hilbertian fields; Hilbert's irreducibility theorem [MSC 2020] 12E30 - Field arithmetic [MSC 2020] 12L05 - Decidability and field theory [MSC 2020] 12L12 - Model theory of fields [MSC 2020] 12L15 - Nonstandard arithmetic and field theory [MSC 2020] 14G05 - Rational points [MSC 2020] |
Soggetto non controllato |
Absolute Galois Groups
Algebra Algebraic Geometry Finite Groups Galois Stratification Galois groups Galois theory Hilbertian Fields Irreducibility PAC Fields Profinite groups ultraproductS |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00263774 |
Fried, Michael D. <1942- > | ||
Berlin, : Springer, 1986 | ||
Materiale a stampa | ||
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 | ||
Materiale a stampa | ||
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 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0263240 |
Prestel, Alexander | ||
Berlin, : Springer, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|