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.
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 | ||
| ||
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 |
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, : Springer, 1998 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Self-Reference and Modal Logic / C. Smoryński
| Self-Reference and Modal Logic / C. Smoryński |
| Autore | Smoryński, Craig |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1985 |
| Descrizione fisica | xii, 333 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Addition
Algebra Arithmetic Calculation Logic Model theory Proof Theory Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268811 |
Smoryński, Craig
|
||
| New York, : Springer-Verlag, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Self-Reference and Modal Logic / C. Smoryński
| Self-Reference and Modal Logic / C. Smoryński |
| Autore | Smoryński, Craig |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1985 |
| Descrizione fisica | xii, 333 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| Soggetto non controllato |
Addition
Algebra Arithmetic Calculation Logic Model theory Proof Theory Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268811 |
|
Smoryński, Craig
|
||
| New York, : Springer-Verlag, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 / edited by R. B. Jensen, A. Prestel
| Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 / edited by R. B. Jensen, A. Prestel |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | viii, 180 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Arithmetic Model theory Models Morphism Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261906 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 / edited by R. B. Jensen, A. Prestel
| Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 / edited by R. B. Jensen, A. Prestel |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | viii, 180 p. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Cxx - Model theory [MSC 2020] 03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Arithmetic Model theory Models Morphism Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00261906 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
