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 Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xii, 185 p. : ill. ; 24 cm |
| Soggetto topico |
11Axx - Elementary number theory [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Soggetto non controllato |
Equivalence relations
Infinite cardinality Mathematical induction Order relation Proofs Propositional logic Relations Set Theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124569 |
Mynard, Frédéric
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Edizione | [Cham : Springer, 2018] |
| Pubbl/distr/stampa | xii, 185 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
11Axx - Elementary number theory [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124569 |
|
Mynard, Frédéric
|
||
| xii, 185 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiom of choice / Horst Herrlich
| Axiom of choice / Horst Herrlich |
| Autore | Herrlich, Horst |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | XIV, 194 p. ; 24 cm |
| Soggetto topico |
03E60 - Determinacy principles [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 08B30 - Injectives, projectives [MSC 2020] 26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 28A20 - Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence [MSC 2020] 46A22 - Theorems of Hahn-Banach type; extension and lifting of functionals and operators [MSC 2020] 54C35 - Function spaces in general topology [MSC 2020] 91A35 - Decision theory for games [MSC 2020] 54B30 - Categorical methods in general topology [MSC 2020] 54D20 - Noncompact covering properties (paracompact, Lindelöf, etc.) [MSC 2020] 54B10 - Product spaces in general topology [MSC 2020] 54D30 - Compactness [MSC 2020] 06B10 - Lattice ideals, congruence relations [MSC 2020] 18A40 - Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 03E65 - Other set-theoretic hypotheses and axioms [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Axiom of choice Calculus Coloring of graphs Combinatorics Compactness Game Theory Non-determinate games Sets Ultrafilters |
| ISBN | 978-35-403-0989-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0057294 |
|
Herrlich, Horst
|
||
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiom of choice / Horst Herrlich
| Axiom of choice / Horst Herrlich |
| Autore | Herrlich, Horst |
| Edizione | [Berlin : Springer] |
| Descrizione fisica | Pubblicazione disponibile anche in formato elettronico. |
| Soggetto topico |
03E60 - Determinacy principles [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 08B30 - Injectives, projectives [MSC 2020] 26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 28A20 - Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence [MSC 2020] 46A22 - Theorems of Hahn-Banach type; extension and lifting of functionals and operators [MSC 2020] 54C35 - Function spaces in general topology [MSC 2020] 91A35 - Decision theory for games [MSC 2020] 54B30 - Categorical methods in general topology [MSC 2020] 54D20 - Noncompact covering properties (paracompact, Lindelöf, etc.) [MSC 2020] 54B10 - Product spaces in general topology [MSC 2020] 54D30 - Compactness [MSC 2020] 06B10 - Lattice ideals, congruence relations [MSC 2020] 18A40 - Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 03E65 - Other set-theoretic hypotheses and axioms [MSC 2020] |
| ISBN | 35-403-0989-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0057294 |
|
Herrlich, Horst
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Consequences of the axiom of choice / Paul Howard, Jean E. Rubin
| Consequences of the axiom of choice / Paul Howard, Jean E. Rubin |
| Autore | Howard, Paul |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1998 |
| Descrizione fisica | VII, 432 p. ; 26 cm + 1 floppy disk. |
| Altri autori (Persone) | Rubin, Jean E. |
| Soggetto topico | 03E25 - Axiom of choice and related propositions [MSC 2020] |
| ISBN | 08-218-0977-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0056318 |
|
Howard, Paul
|
||
| Providence, : American Mathematical Society, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Consequences of the axiom of choice / Paul Howard, Jean E. Rubin
| Consequences of the axiom of choice / Paul Howard, Jean E. Rubin |
| Autore | Howard, Paul |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1998 |
| Descrizione fisica | VII, 432 p. ; 26 cm + 1 floppy disk |
| Altri autori (Persone) | Rubin, Jean E. |
| Soggetto topico | 03E25 - Axiom of choice and related propositions [MSC 2020] |
| ISBN | 08-218-0977-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0056318 |
|
Howard, Paul
|
||
| Providence, : American Mathematical Society, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Axiomatic Set Theory / Gaisi Takeuti, Wilson M. Zaring
| Introduction to Axiomatic Set Theory / Gaisi Takeuti, Wilson M. Zaring |
| Autore | Takeuti, Gaisi |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1982 |
| Descrizione fisica | x, 246 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zaring, Wilson M. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03E25 - Axiom of choice and related propositions [MSC 2020] 03C62 - Models of arithmetic and set theory [MSC 2020] 03E10 - Ordinal and cardinal numbers [MSC 2020] 03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Axiom of choice Functions Logic Ordinals Set Theory Sets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268523 |
|
Takeuti, Gaisi
|
||
| New York, : Springer, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03E25 - Axiom of choice and related propositions [MSC 2020]
(7)
- 03Bxx - General logic [MSC 2020] (2)
- 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] (2)
- 03E60 - Determinacy principles [MSC 2020] (2)
- 03E65 - Other set-theoretic hypotheses and axioms [MSC 2020] (2)