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 | ||
| 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 | ||
| 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 | ||
| 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
| 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 | ||
| 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
| 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 | ||
| 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
| 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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Field arithmetic / Michael D. Fried, Moshe Jarden
| 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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Field arithmetic / Michael D. Fried, Moshe Jarden
| 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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Formally p-adic fields / Alexander Prestel, Peter Roquette
| 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 | ||
| ||
Formally p-adic fields / Alexander Prestel, Peter Roquette
| 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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||