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.
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part 1 / edited by G. H. Müller, M. M. Richter
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part 1 / edited by G. H. Müller, M. M. Richter
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica VIII, 484 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
03Hxx - Nonstandard models [MSC 2020]
Soggetto non controllato Algebra
Boolean algebra
Calculus
Cantor
Commutative property
Finite
Functions
Geometry
Model
Model theory
Morphism
Ordinals
Proofs
ISBN 978-35-401-3900-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-VAN0123305
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part 1 / edited by G. H. Müller, M. M. Richter
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part 1 / edited by G. H. Müller, M. M. Richter
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica VIII, 484 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Exx - Set theory [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
03Hxx - Nonstandard models [MSC 2020]
Soggetto non controllato Algebra
Boolean algebra
Calculus
Cantor
Commutative property
Finite
Functions
Geometry
Model
Model theory
Morphism
Ordinals
Proofs
ISBN 978-35-401-3900-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-VAN00123305
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00298274
Berlin [etc.], : Springer, 1998
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Ordered Algebraic Structures : Proceedings of the Curaçao Conference, sponsored by the Caribbean Mathematics Foundation, June 26–30, 1995 / edited by W. Charles Holland and Jorge Martinez
Ordered Algebraic Structures : Proceedings of the Curaçao Conference, sponsored by the Caribbean Mathematics Foundation, June 26–30, 1995 / edited by W. Charles Holland and Jorge Martinez
Pubbl/distr/stampa Dordrecht, : Springer, : Kluwer, 1997
Descrizione fisica ix, 332 p. ; 24 cm
Soggetto topico 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
06Fxx - Ordered structures [MSC 2020]
Soggetto non controllato Algebra
Algebraic structures
Category Theory
Commutative properties
Lattices
Model theory
Ultraproducts
Vector spaces
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00297636
Dordrecht, : Springer, : Kluwer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Part 1.: Models and sets / edited by G. H. Müller, M. M. Richter
Part 1.: Models and sets / edited by G. H. Müller, M. M. Richter
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica VIII, 484 p. ; 25 cm
Soggetto topico 03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
03Hxx - Nonstandard models [MSC 2020]
Soggetto non controllato Algebra
Boolean algebra
Calculus
Cantor
Commutative property
Finite
Functions
Geometry
Model
Model theory
Morphism
Ordinals
Proofs
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-VAN0263394
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Part 1.: Models and sets / edited by G. H. Müller, M. M. Richter
Part 1.: Models and sets / edited by G. H. Müller, M. M. Richter
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica VIII, 484 p. ; 25 cm
Soggetto topico 03Cxx - Model theory [MSC 2020]
03Exx - Set theory [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
03Hxx - Nonstandard models [MSC 2020]
Soggetto non controllato Algebra
Boolean algebra
Calculus
Cantor
Commutative property
Finite
Functions
Geometry
Model
Model theory
Morphism
Ordinals
Proofs
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-VAN00263394
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica 2 volumi p. ; 24 cm
Soggetto non controllato Algebra
Boolean algebra
Calculus
Cantor
Commutative property
Finite
Functions
Geometry
Model
Model theory
Morphism
Ordinals
Proofs
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-VAN0263396
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica 2 volumi p. ; 24 cm
Soggetto non controllato Algebra
Boolean algebra
Calculus
Cantor
Commutative property
Finite
Functions
Geometry
Model
Model theory
Morphism
Ordinals
Proofs
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-VAN00263396
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui