Introduction to Ramsey spaces [[electronic resource] /] / Stevo Todorcevic |
Autore | Todorcevic Stevo |
Edizione | [Course Book] |
Pubbl/distr/stampa | Princeton, : Princeton University Press, 2010 |
Descrizione fisica | 1 online resource (296 p.) |
Disciplina | 511/.5 |
Collana | Annals of mathematics studies |
Soggetto topico |
Ramsey theory
Algebraic spaces |
Soggetto non controllato |
Analytic set
Axiom of choice Baire category theorem Baire space Banach space Bijection Binary relation Boolean prime ideal theorem Borel equivalence relation Borel measure Borel set C0 Cantor cube Cantor set Cantor space Cardinality Characteristic function (probability theory) Characterization (mathematics) Combinatorics Compact space Compactification (mathematics) Complete metric space Completely metrizable space Constructible universe Continuous function (set theory) Continuous function Corollary Countable set Counterexample Decision problem Dense set Diagonalization Dimension (vector space) Dimension Discrete space Disjoint sets Dual space Embedding Equation Equivalence relation Existential quantification Family of sets Forcing (mathematics) Forcing (recursion theory) Gap theorem Geometry Ideal (ring theory) Infinite product Lebesgue measure Limit point Lipschitz continuity Mathematical induction Mathematical problem Mathematics Metric space Metrization theorem Monotonic function Natural number Natural topology Neighbourhood (mathematics) Null set Open set Order type Partial function Partially ordered set Peano axioms Point at infinity Pointwise Polish space Probability measure Product measure Product topology Property of Baire Ramsey theory Ramsey's theorem Right inverse Scalar multiplication Schauder basis Semigroup Sequence Sequential space Set (mathematics) Set theory Sperner family Subsequence Subset Subspace topology Support function Symmetric difference Theorem Topological dynamics Topological group Topological space Topology Tree (data structure) Unit interval Unit sphere Variable (mathematics) Well-order Zorn's lemma |
ISBN |
1-4008-3540-2
9786612645068 1-282-64506-4 |
Classificazione | SI 830 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Introduction -- Chapter 1. Ramsey Theory: Preliminaries -- Chapter 2. Semigroup Colorings -- Chapter 3. Trees and Products -- Chapter 4. Abstract Ramsey Theory -- Chapter 5. Topological Ramsey Theory -- Chapter 6. Spaces of Trees -- Chapter 7. Local Ramsey Theory -- Chapter 8. Infinite Products of Finite Sets -- Chapter 9. Parametrized Ramsey Theory -- Appendix -- Bibliography -- Subject Index -- Index of Notation |
Record Nr. | UNINA-9910791065103321 |
Todorcevic Stevo
![]() |
||
Princeton, : Princeton University Press, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Naive set theory / Paul R. Halmos |
Autore | Halmos, Paul R. |
Pubbl/distr/stampa | New York, : Springer, 1974 |
Descrizione fisica | VII, 104 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
Soggetto non controllato |
Addition
Arithmetic Cardinal numbers Countable set Lemma Peano axioms Set Theory |
ISBN |
03-87900-92-6
978-03-87900-92-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0024946 |
Halmos, Paul R.
![]() |
||
New York, : Springer, 1974 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Naive set theory / Paul R. Halmos |
Autore | Halmos, Paul R. |
Pubbl/distr/stampa | New York, : Springer, 1974 |
Descrizione fisica | vii, 104 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
Soggetto non controllato |
Addition
Arithmetic Cardinal numbers Countable set Lemma Peano axioms Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0267794 |
Halmos, Paul R.
![]() |
||
New York, : Springer, 1974 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Naive set theory / Paul R. Halmos |
Autore | Halmos, Paul R. |
Pubbl/distr/stampa | New York, : Springer, 1974 |
Descrizione fisica | VII, 104 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
Soggetto non controllato |
Addition
Arithmetic Cardinal numbers Countable set Lemma Peano axioms Set Theory |
ISBN |
03-87900-92-6
978-03-87900-92-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00024946 |
Halmos, Paul R.
![]() |
||
New York, : Springer, 1974 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Naive set theory / Paul R. Halmos |
Autore | Halmos, Paul R. |
Pubbl/distr/stampa | New York, : Springer, 1974 |
Descrizione fisica | vii, 104 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
Soggetto non controllato |
Addition
Arithmetic Cardinal numbers Countable set Lemma Peano axioms Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00267794 |
Halmos, Paul R.
![]() |
||
New York, : Springer, 1974 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
Autore | Smullyan Raymond M. |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (157 pages) : illustrations |
Disciplina | 511.33 |
Collana | Annals of Mathematics Studies |
Soggetto topico |
Recursive functions
Metamathematics |
Soggetto non controllato |
Addition
Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A. Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Direct proof Disjoint sets Enumeration Equation Existential quantification Exponential function Finite set Formal system Functional calculus Gödel numbering Gödel's incompleteness theorems Herbrand's theorem Inference Integer factorization Iteration John Myhill Logical connective Logical consequence Mathematical induction Mathematical logic Mathematician Mathematics Metamathematics Modus ponens Natural number Negation Number theory Order theory Parity (mathematics) Peano axioms Predicate (mathematical logic) Prenex normal form Primitive recursive function Quantifier (logic) Recursion Recursive set Recursively enumerable set Remainder Requirement Rule of inference Scientific notation Sequence Set (mathematics) Sign (mathematics) Special case Subset Suggestion System U. Theorem Theory Transfinite number Turing machine Universal set Validity Variable (mathematics) Zermelo set theory |
ISBN | 1-4008-8200-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
Record Nr. | UNINA-9910154750903321 |
Smullyan Raymond M.
![]() |
||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|