Set theory. An introduction to independence proofs. 2nd print

zbMATH Open0534.03026MaRDI QIDQ790108FDOQ790108

Authors: Kenneth Kunen 

Publication date: 1983

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

iterated forcingaxiom of foundationZermelo-Fraenkel set theoryZFCZFM 419.03028

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)

Cited In (only showing first 100 items - show all)

• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Strong measure zero in Polish groups
• On measures induced by forcing names for ultrafilters
• Polar forcings and measured extensions
• Applications of limited information strategies in Menger's game
• CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
• Cofinal maximal chains in the Turing degrees
• An elementary variant of nonstandard set theory
• On projectional skeletons in Vašák spaces
• Cuf products and cuf sums of (quasi-) metrizable spaces in ZF
• Is Lebesgue measure the only \(\sigma\)-finite invariant Borel measure?
• Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture
• On the solvability of systems of linear equations over the ring $\mathbb{Z}$ of integers
• THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
• FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS
• Book review of: R. Schindler, Set theory. Exploring independence and truth
• Stranger things about forcing without AC
• Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration
• Filter-Menger set of reals in Cohen extensions
• On the spectra of cardinalities of branches of Kurepa trees
• On the additivity of strong homology for locally compact separable metric spaces
• PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\)
• Characterizations of weakly \(\mathcal{K} \)-analytic and Vašák spaces using projectional skeletons and separable PRI
• Countable compactness of lexicographic products of GO-spaces
• Set theory and the analyst
• Ideal generalizations of Egoroff's theorem
• Simultaneously vanishing higher derived limits without large cardinals
• Topologies making a given ideal nowhere dense or meager
• MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC
• Rigid ideals
• Baumgartner's isomorphism problem for \(\aleph _2\)-dense suborders of \(\mathbb {R}\)
• Generating the infinite symmetric group using a closed subgroup and the least number of other elements
• Large Cardinals and Small Dowker Spaces
• Pathological and highly transitive representations of free groups.
• Hereditary interval algebras and cardinal characteristics of the continuum
• Strong ergodicity around countable products of countable equivalence relations
• Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games
• Countably tight dual ball with a nonseparable measure
• Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice
• When is the complement of the diagonal of a LOTS functionally countable?
• Regular embeddings of the stationary tower and Woodin's maximality theorem
• Nonconstructive properties of well-ordered T\(_2\) topological spaces
• The Souslin hypothesis and continuous utility functions: A remark
• Spaces in Which the Nondegenerate Connected Sets Are the Cofinite Sets
• On Russell and Anti Russell-Cardinals
• More on partitioning triples of countable ordinals
• On the formalization of semantic conventions
• A model with Suslin trees but no minimal uncountable linear orders other than \(\omega_1\) and \(- \omega_1\)
• A variation of the Mardešić conjecture
• Asymmetric tie-points and almost clopen subsets of $\mathbb {N}^*$
• Universal sets for pointsets properly on the n^th level of the projective hierarchy
• Pseudocompactness of hyperspaces
• Unconditional basic sequences in spaces of large density
• On the rigidity of souslin trees and their generic branches
• Extending ideals
• Low-distortion embeddings of infinite metric spaces into the real line
• Compactness-like properties and compact sections
• Strong paracompactness and multi-selections
• The structure of Valdivia compact lines
• Katětov's problem
• Monotone retractability and retractional skeletons
• A Lindelöf space with no Lindelöf subspace of size $\aleph \textunderscore 1$
• Compact spaces and the pseudoradial property. II
• Beurling moving averages and approximate homomorphisms
• Parametrized $\diamondsuit $ principles
• A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II
• The existence of continuous weak selections and orderability-type properties in products and filter spaces
• \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders
• Embedding and coding below a 1-generic degree
• Entire functions mapping uncountable dense sets of reals onto each other monotonically
• Suslin forcing and parametrized ◊ principles
• The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis
• On the structure of the Medvedev lattice
• The Wijsman hyperspace of a metric hereditarily Baire space is Baire
• Countable compact Hausdorff spaces need not be metrizable in ZF
• Some properties of conjunctivity (subfitness) in generalized settings
• Topologies on \(X\) as points within \(2^{{\mathcal P}(X)}\)
• Local planarity in one-dimensional continua
• Logics of intuitionistic Kripke-Platek set theory
• The homotopy classes of continuous maps between some nonmetrizable manifolds
• Generic Banach spaces and generic simplexes
• A brief remark on van der Waerden spaces
• Hausdorff continuous sections
• Hechler's theorem for the null ideal
• Equationally distinct countable simple {\textsf{Q}}-relation algebras
• A Suppes predicate for general relativity and set-theoretically generic spacetimes
• Automatic continuity of homomorphisms and fixed points on metric compacta
• Diamond principles in Cichoń's diagram
• Completeness, sections and selections
• Supremum vs. maximum: \(\lambda\)-sets
• Decompositions of preduals of JBW and \(\text{JBW}^\ast\) algebras
• Mathias absoluteness and the Ramsey property
• ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES
• Several results on compact metrizable spaces in \(\mathbf{ZF} \)
• Borel measurability of separately continuous functions
• σ-Porosity is separably determined
• Countably compact group topologies on arbitrarily large free abelian groups
• Baire spaces, Tychonoff powers and the Vietoris topology
• Monotonically countably paracompact, collectionwise Hausdorff spaces and measurable cardinals
• Approximation and interpolation by large entire cross-sections of second category sets in \(\mathbb R^{n+1}\)

This page was built for publication: Set theory. An introduction to independence proofs. 2nd print

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790108)