Proper and Improper Forcing

DOI10.1017/9781316717233zbMath1365.03012MaRDI QIDQ5273441

Saharon Shelah

Publication date: 6 July 2017

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

zbMATH Keywords

forcing; iterated forcing; Aronszajn tree; countable chain condition; proper forcing; semi-proper forcing; oracle chain condition; Whitehead problem; Souslin hypothesis; changing cofinalities; improper forcing

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

03E50: Continuum hypothesis and Martin's axiom

03E05: Other combinatorial set theory

03E40: Other aspects of forcing and Boolean-valued models

03E57: Generic absoluteness and forcing axioms

Related Items

A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\), Toward categoricity for classes with no maximal models, Sticks and clubs, Further cardinal arithmetic, No random reals in countable support iterations, Was Sierpiński right? III. Can continuum-c.c. times c.c.c. be continuum-c.c.?