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.
An Invitation to Mathematical Logic / David Marker
| An Invitation to Mathematical Logic / David Marker |
| Autore | Marker, David |
| Pubbl/distr/stampa | Cham, : Springer, 2024 |
| Descrizione fisica | xviii, 357 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Completeness theorem
Computability Godel's completeness Gödel incompleteness theorem Hilbert's 10th problem Incompleteness theorem Logic for Computer Science Logic for philosophy Marker GTM Mathematical logic Model theory introduction Peano arithmetic Quantifier elimination Turing reducibility Ultraproducts |
| ISBN | 978-30-315-5367-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283788 |
Marker, David
|
||
| Cham, : Springer, 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cardinal Invariants on Boolean Algebras / J. Donald Monk
| Cardinal Invariants on Boolean Algebras / J. Donald Monk |
| Autore | Monk, James D. |
| Pubbl/distr/stampa | Basel, : Birkhäuser, 1996 |
| Descrizione fisica | ix, 301 p. ; 24 cm |
| Soggetto topico |
03E10 - Ordinal and cardinal numbers [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Cardinal functions Cellularity Fedorchukís theorem Forcing Logic Proofs Set Theory Ultraproducts |
| ISBN | 37-643-5402-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00053190 |
|
Monk, James D.
|
||
| Basel, : Birkhäuser, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cardinal Invariants on Boolean Algebras / J. Donald Monk
| Cardinal Invariants on Boolean Algebras / J. Donald Monk |
| Autore | Monk, James D. |
| Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 1996 |
| Descrizione fisica | ix, 301 p. ; 24 cm |
| Soggetto topico |
03E10 - Ordinal and cardinal numbers [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Cardinal functions Cellularity Fedorchukís theorem Forcing Logic Proofs Set Theory Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00295515 |
|
Monk, James D.
|
||
| Basel, : Birkhäuser, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Field arithmetic / Michael D. Fried, Moshe Jarden
| Field arithmetic / Michael D. Fried, Moshe Jarden |
| Autore | Fried, Michael D. <1942- > |
| Edizione | [4. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | xxxi, 827 p. : ill. ; 24 cm |
| Altri autori (Persone) | Jarden, Moshe |
| Soggetto topico |
12-XX - Field theory and polynomials [MSC 2020]
12E25 - Hilbertian fields; Hilbert's irreducibility theorem [MSC 2020] 12E30 - Field arithmetic [MSC 2020] 12F12 - Inverse Galois theory [MSC 2020] 12Lxx - Connections between field theory and logic [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-VAN00279430 |
|
Fried, Michael D. <1942- >
|
||
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| 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] |
| 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 |
| ISBN | 978-35-401-6640-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00029659 |
|
Fried, Michael D. <1942- >
|
||
| Berlin, : Springer, 1986 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Henkin-Keisler Models / by George Weaver
| Henkin-Keisler Models / by George Weaver |
| Autore | Weaver, George E. |
| Pubbl/distr/stampa | Dordrecht [etc.], : Kluwer, 1997 |
| Descrizione fisica | xii, 253 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020] 03C20 - Ultraproducts and related constructions [MSC 2020] |
| Soggetto non controllato |
Cardinality
Computer Science Computers Equivalence Logic Proofs Set Theory Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297753 |
|
Weaver, George E.
|
||
| Dordrecht [etc.], : Kluwer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis
| Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis |
| Autore | Csirmaz, Laszlo |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | viii, 319 p. : ill. ; 24 cm |
| Altri autori (Persone) | Gyenis, Zalán |
| Soggetto topico |
00A07 - Problem books [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
First-order logic
Formal logic Gödel incompleteness theorem Mathematical logic Peano axiom system Predicate calculus Problem Solving Propositional calculus Recursion theory Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00277839 |
|
Csirmaz, Laszlo
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 / edited by Carlos Augusto Prisco
| Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 / edited by Carlos Augusto Prisco |
| Pubbl/distr/stampa | Berlin, : Springer, 1985 |
| Descrizione fisica | x, 410 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Logic
Mathematical logic Model theory Proofs Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00263548 |
| Berlin, : Springer, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Nonstandard Methods in Fixed Point Theory / Asuman Güven Aksoy, Mohamed A. Khamsi
| Nonstandard Methods in Fixed Point Theory / Asuman Güven Aksoy, Mohamed A. Khamsi |
| Autore | Aksoy, Asuman G. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1990 |
| Descrizione fisica | ix, 139 p. : ill. ; 24 cm |
| Altri autori (Persone) | Khamsi, Mohamed A. |
| Soggetto topico |
47-XX - Operator theory [MSC 2020]
47H09 - Contraction-type mappings, nonexpansive mappings, $A$-proper mappings, etc. [MSC 2020] 47H10 - Fixed-point theorems [MSC 2020] 47S20 - Nonstandard operator theory [MSC 2020] |
| Soggetto non controllato |
Addition
Banach spaces Boundary Element Methods Constructions Development Finite Fixed Point Theory Languages Mapping Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287768 |
|
Aksoy, Asuman G.
|
||
| New York, : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
