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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| 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 | ||
| 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 | ||
| 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 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00298274 |
| Berlin [etc.], : Springer, 1998 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||