Proper and Improper Forcing

DOI10.1017/9781316717233zbMath1365.03012OpenAlexW4302529523MaRDI QIDQ5273441

Saharon Shelah

Publication date: 6 July 2017

Full work available at URL: https://doi.org/10.1017/9781316717233

zbMATH Keywords

forcingiterated forcingAronszajn treecountable chain conditionproper forcingsemi-proper forcingoracle chain conditionWhitehead problemSouslin hypothesischanging cofinalitiesimproper forcing

Mathematics Subject Classification ID

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) Generic absoluteness and forcing axioms (03E57)

Related Items (30)

Between reduced powers and ultrapowers, II. ⋮ The covering number of the strong measure zero ideal can be above almost everything else ⋮ No random reals in countable support iterations ⋮ Cardinal invariants of the continuum and combinatorics on uncountable cardinals ⋮ Sticks and clubs ⋮ Was Sierpiński right? III. Can continuum-c.c. times c.c.c. be continuum-c.c.? ⋮ A framework for forcing constructions at successors of singular cardinals ⋮ Cofinal types on ω₂ ⋮ Cofinal types of ultrafilters ⋮ INDESTRUCTIBILITY OF THE TREE PROPERTY ⋮ PFA and precipitousness of the nonstationary ideal ⋮ The special tree number ⋮ Cohen preservation and independence ⋮ Forcing with matrices of countable elementary submodels ⋮ On embedding certain partial orders into the P-points under Rudin-Keisler and Tukey reducibility ⋮ Baire irresolvable spaces and lifting for a layered ideal ⋮ Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties ⋮ A model theoretic solution to a problem of László Fuchs ⋮ A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) ⋮ The saturation of club guessing ideals ⋮ A local Ramsey theory for block sequences ⋮ Borel’s conjecture and meager-additive sets ⋮ Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture ⋮ Further cardinal arithmetic ⋮ Discrete Subsets in Topological Groups and Countable Extremally Disconnected Groups ⋮ Discontinuity of multiplication and left translations in $\beta G$ ⋮ NS SATURATED AND -DEFINABLE ⋮ Toward categoricity for classes with no maximal models ⋮ A countable dense homogeneous topological vector space is a Baire space ⋮ Forcing consequences of $PFA$ together with the continuum large

This page was built for publication: Proper and Improper Forcing