Adding Closed Unbounded Subsets of ω₂ with Finite Forcing
Mitchell, William J.
Notre Dame J. Formal Logic, Tome 46 (2005) no. 3, p. 357-371 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2005-07-14
Classification:  Mahlo cardinals,  approachability ideal,  nonstationary ideal,  03E35,  03E04 
@article{1125409334,
     author = {Mitchell, William J.},
     title = {Adding Closed Unbounded Subsets of o2 with Finite
Forcing},
     journal = {Notre Dame J. Formal Logic},
     volume = {46},
     number = {3},
     year = {2005},
     pages = { 357-371},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1125409334}
}

Mitchell, William J. Adding Closed Unbounded Subsets of ω₂ with Finite
Forcing. Notre Dame J. Formal Logic, Tome 46 (2005) no. 3, pp.  357-371. http://gdmltest.u-ga.fr/item/1125409334/