Set theory. An introduction to independence proofs

zbMath0443.03021MaRDI QIDQ1144013

Kenneth Kunen

Publication date: 1980

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

zbMATH Keywords

ZFCiterated forcingZermelo-Fraenkel set theoryaxiom of foundation

Mathematics Subject Classification ID

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) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (only showing first 100 items - show all)

Inaccessible set axioms may have little consistency strength ⋮ Compact spaces and the pseudoradial property, I ⋮ On the multiplicity of jigsawed bases in compact and countably compact spaces ⋮ Zero-divisor graphs, von Neumann regular rings, and Boolean algebras. ⋮ Cozero complemented spaces; when the space of minimal prime ideals of a \(C(X)\) is compact ⋮ Examples concerning extensions of continuous functions ⋮ A base property in paracompact products and its applications ⋮ Coarser connected topologies ⋮ Tightness, character and related properties of hyperspace topologies ⋮ Convergence in topological groups and the Cohen reals ⋮ Concerning the Dugundji extension property ⋮ Distributive proper forcing axiom and a left-right dichotomy of Cichoń's diagram ⋮ The real core model and its scales ⋮ On the cardinality of Lindelöf spaces with points \(G_ \delta\) ⋮ Continuing horrors of topology without choice ⋮ Combinatorial properties of classical forcing notions ⋮ Uniformization problems and the cofinality of the infinite symmetric group ⋮ Well ordered subsets of linearly ordered sets ⋮ Almost compatible functions and infinite length games ⋮ Products of Lindelöf spaces and GO-spaces ⋮ More set-theory for topologists ⋮ Definability and almost disjoint families ⋮ Nearly prime subsemigroups of \(\beta\mathbb{N}\) ⋮ Valuations of lattice-ordered groups ⋮ Scattered spaces from weak diamonds ⋮ Submetacompactness and weak submetacompactness in countable products ⋮ Combinatorics and forcing with distributive ideals ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Bounded sets in topological vector spaces ⋮ Projective forcing ⋮ Infinite homogeneous bipartite graphs with unequal sides ⋮ Extensions of functions in Mrówka-Isbell spaces ⋮ Splittings ⋮ An unclassifiable unidimensional theory without OTOP ⋮ Sticks and clubs ⋮ Possible values for \(2^{\aleph_n}\) and \(2^{\aleph_\omega}\) ⋮ Partition numbers ⋮ On Souslin sets and embeddings in integer-valued function spaces on \(\omega_1\) ⋮ Cardinal invariants and independence results in the poset of precompact group topologies ⋮ The tree property ⋮ Decompositions of edge-coloured infinite complete graphs into monochromatic paths. II ⋮ There is no bound on sizes of indecomposable Banach spaces ⋮ Categoricity results for second-order ZF in dependent type theory ⋮ An oracle builder's toolkit ⋮ Answer to Raczkowski's questions on convergent sequences of integers ⋮ Do stronger definitions of randomness exist? ⋮ Generic left-separated spaces and calibers ⋮ Strong zero-dimensionality of products of ordinals. ⋮ Weakly Whyburn spaces of continuous functions on ordinals. ⋮ Some notes concerning the homogeneity of Boolean algebras and Boolean spaces ⋮ Local coherence. ⋮ Independence of Boolean algebras and forcing. ⋮ SH plus CH does not imply stationary antichains. ⋮ The number of homomorphisms from the Hawaiian earring group ⋮ Spaces which are generated by discrete sets. ⋮ Alpha-theory: An elementary axiomatics for nonstandard analysis ⋮ On linearly H-closed spaces ⋮ On a hypothesis for \({\aleph}_{0}\)-bounded groups ⋮ A minicourse on topological games ⋮ Paracompactness of lexicographic products of GO-spaces ⋮ On universal Banach spaces of density continuum ⋮ On the cardinality of power homogeneous compacta ⋮ How many miles to \(\beta \omega\)? -- Approximating \(\beta \omega\) by metric-dependent compactifications ⋮ Forcing indestructibility of MAD families ⋮ Representable lexicographic products ⋮ Characterizations of standard elements in posets ⋮ Spaces of continuous functions defined on Mrówka spaces ⋮ Amalgamating infinite Latin squares ⋮ Diamond, square, and level by level equivalence ⋮ Models of set theory with definable ordinals ⋮ Mad families, forcing and the Suslin hypothesis ⋮ Distributivity of the algebra of regular open subsets of \(\beta\mathbb R\setminus \mathbb R\) ⋮ The representability number of a chain ⋮ The weight of a countably compact group whose cardinality has countable cofinality ⋮ Iterated forcing in quadratic form theory ⋮ OCA and automorphisms of \({\mathfrak P}(\omega)/\text{fin}\) ⋮ Unbounded families and the cofinality of the infinite symmetric group ⋮ A unification-theoretic method for investigating the \(k\)-provability problem ⋮ About Prikry generic extensions ⋮ Normal measure axiom and Balogh's theorems ⋮ Ordinals. I: Basic notions ⋮ Birkhoff's representation theorem is equivalent to the axiom of choice ⋮ Ultrafilters with small generating sets ⋮ Forcing with filters and complete combinatorics ⋮ The \({\mathcal L}^{<\omega}\)-theory of the class of Archimedian real closed fields ⋮ A theorem on the closure of \(\Omega\)-pure subgroups of \(C_{\Omega}\) groups in the \(\Omega\)-topology ⋮ Products of minimal abelian groups ⋮ On strong chains of uncountable functions ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ Partition subalgebras for maximal almost disjoint families ⋮ Changing cardinal characteristics without changing \(\omega\)-sequences or cofinalities ⋮ The wholeness axiom and Laver sequences ⋮ Complexity of the \(r\)-query tautologies in the presence of a generic oracle ⋮ HFD and HFC type spaces, with applications ⋮ On the character and \(\pi\)-weight of homogeneous compacta. ⋮ Unions of chains in dyadic compact spaces and topological groups ⋮ Normality and paranormality in product spaces ⋮ Applications of another characterization of \(\beta{\mathbb N}\setminus{\mathbb N}\) ⋮ Characterizations of ordinal spaces via continuous selections ⋮ Subnormality in \(\omega_1^2\)

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