Abstract
An outline is given of the proof that the consistency of a κ⁺-Mahlo cardinal implies that of the statement that I[ω₂] does not include any stationary subsets of Cof(ω₁). An additional discussion of the techniques of this proof includes their use to obtain a model with no ω₂-Aronszajn tree and to add an ω₂-Souslin tree with finite conditions.
Citation
William J. Mitchell. "Adding Closed Unbounded Subsets of ω₂ with Finite Forcing." Notre Dame J. Formal Logic 46 (3) 357 - 371, 2005. https://doi.org/10.1305/ndjfl/1125409334
Information