top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Model theory of fields / D. Marker, M. Messmer, A. Pillay
Model theory of fields / D. Marker, M. Messmer, A. Pillay
Autore Marker, David
Pubbl/distr/stampa Berlin, : Springer, 1996
Descrizione fisica VII, 154 p. ; 24 cm.
Altri autori (Persone) Messmer, Margit
Pillay, Anand
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020]
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
12L12 - Model theory of fields [MSC 2020]
ISBN 35-406-0741-2
978-35-406-0741-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0052463
Marker, David  
Berlin, : Springer, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Model theory of fields / D. Marker, M. Messmer, A. Pillay
Model theory of fields / D. Marker, M. Messmer, A. Pillay
Autore Marker, David
Pubbl/distr/stampa Berlin, : Springer, 1996
Descrizione fisica VII, 154 p. ; 24 cm
Altri autori (Persone) Messmer, Margit
Pillay, Anand
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020]
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
12L12 - Model theory of fields [MSC 2020]
ISBN 35-406-0741-2
978-35-406-0741-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0052463
Marker, David  
Berlin, : Springer, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui