Set theory.
absolutenesscardinal exponentiationconstructible setscountable chain conditionforcinggeneric extensionsiterated forcingMartin's Axiomordinal definableproper forcingreflection principles
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)
This is an important textbook in advanced set theory, comparable to \textit{T. Jech}'s [Set theory. The third millenium edition. Berlin: Springer (2003; Zbl 1007.03002)] and to [\textit{M. Foreman} (ed.) and \textit{A. Kanamori} (ed.), Handbook of set theory. In 3 volumes. Dordrecht: Springer (2010; Zbl 1197.03001)]. It assumes expert knowledge of elementary axiomatic set theory (for example, from the author's textbook [Set theory. An introduction to independence proofs. Amsterdam, New York, Oxford: North-Holland Publishing Company (1980; Zbl 0443.03021)]) and model theory. There are five chapters.NEWLINENEWLINENEWLINE Chapter I, labeled ``Background material, starts with a short discussion about the author's conception of the formalist philosophy of mathematics and introduces the Zermelo-Fraenkel axiom system, followed by a treatment of many of the basic topics (including ordinals, induction, recursion, uncountable cardinals, the axiom of choice, and a few results in model theory and recursion theory).NEWLINENEWLINENEWLINE Chapter II, ``Easy consistency proofs, starts by proving the relative consistency of the Axiom of Foundation, and then derives the Reflection Theorem. This is followed by a nice treatment of constructible sets and \(V = L\), and then by the definition of ordinal-definable sets and a sketch of the relative consistency of ZFC. The chapter concludes with a treatment of set theory with classes. NEWLINENEWLINENEWLINE Chapter III, ``Infinitary combinatorics, has much more meat to it: the countable chain condition, Martin's Axiom, trees, club filters, the diamond principles, and the theory of elementary submodels.NEWLINENEWLINENEWLINE Chapter IV contains a nice exposition of forcing and some of its applications, including the independence of the axiom of choice.NEWLINENEWLINENEWLINE Chapter V, ``Iterated forcing, has some sophisticated applications, especially to some independence proofs involving Martin's Axiom. It ends with a relatively modest exposition of the Proper Forcing Axiom. Unfortunately, we have not succeeded in presenting an adequate summary of the rich results that can be found in this book.
- scientific article; zbMATH DE number 1198604
- scientific article; zbMATH DE number 3279143
- scientific article; zbMATH DE number 941487
- scientific article; zbMATH DE number 1968949
- Combinatorial Set Theory
- Set theory
- scientific article; zbMATH DE number 3972858
- scientific article; zbMATH DE number 1218250
- scientific article; zbMATH DE number 1849876
- On a problem of Cech
- Sacks forcing and the total failure of Martin's axiom
- Gallai-Milgram properties for infinite graphs
- Is there a set of reals not in \(K(\mathbb{R})\)?
- On the cardinality of almost discretely Lindelöf spaces
- Countably compact weakly Whyburn spaces
- A strong Baire category theorem for products
- The Shelah P-point independence theorem
- Hereditary normality of \(\gamma\mathbb{N}\)-spaces
- Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets
- Computable analogs of cardinal characteristics: prediction and rearrangement
- Locally Hausdorff tight groupoids generalised
- On regular \(\kappa\)-bounded spaces admitting only constant continuous mappings into \(T_1\) spaces of pseudocharacter \(\le\kappa\)
- Characterizing the spectra of cardinalities of branches of Kurepa trees
- Uniform Roe coronas
- Cichoń's maximum without large cardinals
- Borel colouring bad rays
- Reverse mathematics of the uncountability of \(\mathbb{R}\)
- Large strongly anti-Urysohn spaces exist
- Ken's colorful questions
- Splittings and robustness for the Heine-Borel theorem
- Small \(\mathfrak{u}(\kappa )\) at singular \(\kappa\) with compactness at \(\kappa^{++}\)
- The tree alternative conjecture under the topological minor relation
- Proof of Halin's normal spanning tree conjecture
- Representations and the foundations of mathematics
- Betwixt Turing and Kleene
- The spectrum of independence. II
- Some infinitely generated non-projective modules over path algebras and their extensions under Martin's axiom
- Linear combination of projections in von Neumann factors
- The Calkin algebra is _1-universal
- \(C^\ast\) -, \(C\)- and \(P\)-embedded subsets in products and the undecidability of a certain property on \(\mathbb{N}^{\omega_1} \)
- Almost-normality of Isbell-Mrówka spaces
- Reverse induction proof of \(\mathrm{D}\) property of the countable power of the Sorgenfrey line
- The cardinality of compact spaces satisfying the countable chain condition
- Between Polish and completely Baire
- Smooth norms in dense subspaces of Banach spaces
- Super properties and net weight
- Hausdorff tight groupoids generalised
- Ideals of independence
- Cardinal invariants of cellular-Lindelöf spaces
- First steps towards a formalization of forcing
- \(T\)-joins in infinite graphs
- Decompositions of edge-colored infinite complete graphs into monochromatic paths
- A microscopic approach to Souslin-tree constructions. I.
- A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach
- Set theory and the analyst
- Set theory. Exploring independence and truth
- Local saturation of the non-stationary ideal over \(\mathcal P_{\kappa}\lambda\)
- The automorphism group of the enumeration degrees
- Corson reflections
- \( \pi \)-spaces and their open images
- On the collection of Baire class one functions on the irrationals
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic
- A homogeneous space whose complement is rigid
- Edgeworth's conjecture and the number of agents and commodities
- scientific article; zbMATH DE number 3173693 (Why is no real title available?)
- Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model
- On a problem of Talagrand concerning separately continuous functions
- scientific article; zbMATH DE number 5298232 (Why is no real title available?)
- Efimov's problem and Boolean algebras
- Characters of countably tight spaces and inaccessible cardinals
- scientific article; zbMATH DE number 47703 (Why is no real title available?)
- scientific article; zbMATH DE number 193668 (Why is no real title available?)
- scientific article; zbMATH DE number 1218250 (Why is no real title available?)
- scientific article; zbMATH DE number 1021638 (Why is no real title available?)
- Elementary chains and compact spaces with a small diagonal
- scientific article; zbMATH DE number 1749188 (Why is no real title available?)
- Omitting types in logic of metric structures
- Absoluteness via resurrection
- Homeomorphisms of Čech-Stone remainders: the zero-dimensional case
- Infinite powers and Cohen reals
- A coanalytic Menger group that is not $\sigma$-compact
- Minimal obstructions for normal spanning trees
- Borel OD sets of reals are OD-Borel in some simple models
- Infinite combinatorics plain and simple
- scientific article; zbMATH DE number 941487 (Why is no real title available?)
- scientific article; zbMATH DE number 1834586 (Why is no real title available?)
- A theory of stationary trees and the balanced Baumgartner-Hajnal-Todorcevic theorem for trees
- Trees, ladders and graphs
- Selective games on binary relations
- Borel’s conjecture and meager-additive sets
- On closures of discrete sets
- Borel conjecture, dual Borel conjecture, and other variants of the Borel conjecture
- THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES
- Oxtoby spaces, pseudocompleteness, and hyperspaces
- There are exactly _1 topological types of locally finite trees with countably many rays
- Countable sets versus sets that are countable in reverse mathematics
- On the ‘definability of definable’ problem of Alfred Tarski, Part II
- Between reduced powers and ultrapowers, II.
- Formalization of Forcing in Isabelle/ZF
- On the uncountability of \(\mathbb{R}\)
- scientific article; zbMATH DE number 7632587 (Why is no real title available?)
- Rigidity conjectures for continuous quotients
- Weak^* closures and derived sets for convex sets in dual Banach spaces
- SLOW P-POINT ULTRAFILTERS
- INDESTRUCTIBILITY OF THE TREE PROPERTY
- An Extension of the Baire Property
- scientific article; zbMATH DE number 7200921 (Why is no real title available?)
- Properties and super properties
- Rado's conjecture and its Baire version
This page was built for publication: Set theory.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904376)
