| Adding Closed Unbounded Subsets of ω₂ with Finite Forcing (2005) | |||||||||||||
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. | |||||||||||||
Publication details | |||||||||||||
| |||||||||||||