arXiv Analytics

Sign in

arXiv:math/0407225 [math.LO]AbstractReferencesReviewsResources

I[omega_2] can be the nonstationary ideal on Cof(omega_1)

William J. Mitchell

Published 2004-07-13, updated 2007-04-30Version 4

We answer a question of Shelah by showing that it is consistent that every set of ordinals of cofinality omega_1 in I[omega_2] is nonstationary if and only if it is consistent that that there is a kappa^+ Mahlo cardinal kappa.

Comments: version 4 of the paper has been extensively revised in response to the referee report from TAMS. I expect it to appear in TAMS
Categories: math.LO
Subjects: 03E35
Related articles: Most relevant | Search more
arXiv:math/0609655 [math.LO] (Published 2006-09-25, updated 2007-02-17)
Winning the pressing down game but not Banach Mazur
arXiv:1105.0823 [math.LO] (Published 2011-05-04, updated 2013-02-21)
Borel Conjecture and Dual Borel Conjecture
arXiv:1503.01406 [math.LO] (Published 2015-03-04)
NF is Consistent

Links

Toolbox