Baumgartner, James E. Iterated forcing. (English) Zbl 0524.03040 Surveys in set theory, Lond. Math. Soc. Lect. Note Ser. 87, 1-59 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 78 Documents MSC: 03E40 Other aspects of forcing and Boolean-valued models 03E35 Consistency and independence results 03E50 Continuum hypothesis and Martin’s axiom 03E45 Inner models, including constructibility, ordinal definability, and core models 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03E15 Descriptive set theory Keywords:introduction; iterated forcing; generic extension; relative consistency; Martin’s axiom; reverse Easton forcing; iterated Mathias forcing; tree theory; axiom A-forcing; generalization of Martin’s axiom Citations:Zbl 0511.00004 PDFBibTeX XML