$I[\omega _2]$ can be the nonstationary ideal on $\operatorname {Cof}(\omega _1)$
HTML articles powered by AMS MathViewer
- by William J. Mitchell PDF
- Trans. Amer. Math. Soc. 361 (2009), 561-601 Request permission
Abstract:
We answer a question of Shelah by showing that it is consistent that every member of $I[\omega _2]\cap \operatorname {Cof}(\omega _1)$ is nonstationary if and only if it is consistent that there is a $\kappa ^+$-Mahlo cardinal $\kappa$.References
- Uri Abraham, Aronszajn trees on $\aleph _{2}$ and $\aleph _{3}$, Ann. Pure Appl. Logic 24 (1983), no. 3, 213–230. MR 717829, DOI 10.1016/0168-0072(83)90006-4
- Uri Abraham and Saharon Shelah, Forcing closed unbounded sets, J. Symbolic Logic 48 (1983), no. 3, 643–657. MR 716625, DOI 10.2307/2273456
- James E. Baumgartner, Applications of the proper forcing axiom, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 913–959. MR 776640
- Matt Foreman, Menachem Magidor, and Saharon Shelah, Martin’s maximum, saturated ideals, and non-regular ultrafilters, I, Annals of Mathematics (2nd series) 127 (1988), 1–47.
- Sy-David Friedman, Forcing with finite conditions, Set theory, Trends Math., Birkhäuser, Basel, 2006, pp. 285–295. MR 2267153, DOI 10.1007/3-7643-7692-9_{1}0
- Joel David Hamkins, Extensions with the approximation and cover properties have no new large cardinals, Fund. Math. 180 (2003), no. 3, 257–277. MR 2063629, DOI 10.4064/fm180-3-4
- Piotr Koszmider, On strong chains of uncountable functions, Israel J. Math. 118 (2000), 289–315. MR 1776085, DOI 10.1007/BF02803525
- William J. Mitchell, A weak variation of Shelah’s $I[\omega _2]$, J. Symbolic Logic 69 (2004), no. 1, 94–100. MR 2039349, DOI 10.2178/jsl/1080938829
- William J. Mitchell, Adding closed unbounded subsets of $\omega _2$ with finite forcing, Notre Dame J. Formal Logic 46 (2005), no. 3, 357–371. MR 2162106, DOI 10.1305/ndjfl/1125409334
- William J. Mitchell, On the Hamkins approximation property, Ann. Pure Appl. Logic 144 (2006), no. 1-3, 126–129. MR 2279659, DOI 10.1016/j.apal.2006.05.005
- William Mitchell, Aronszajn trees and the independence of the transfer property, Ann. Math. Logic 5 (1972/73), 21–46. MR 313057, DOI 10.1016/0003-4843(72)90017-4
- Saharon Shelah, Reflecting stationary sets and successors of singular cardinals, Arch. Math. Logic 31 (1991), no. 1, 25–53. MR 1126352, DOI 10.1007/BF01370693
- Stevo Todorčević, Directed sets and cofinal types, Trans. Amer. Math. Soc. 290 (1985), no. 2, 711–723. MR 792822, DOI 10.1090/S0002-9947-1985-0792822-9
- Jindrich Zapletal, Characterization of the club forcing, Papers on general topology and applications (Gorham, ME, 1995) Ann. New York Acad. Sci., vol. 806, New York Acad. Sci., New York, 1996, pp. 476–484. MR 1429675, DOI 10.1111/j.1749-6632.1996.tb49190.x
Additional Information
- William J. Mitchell
- Affiliation: Department of Mathematics, University of Florida, P.O. Box 118105, Gainesville, Florida 32611-8105
- Email: mitchell@math.ufl.edu
- Received by editor(s): September 5, 2005
- Published electronically: September 8, 2008
- Additional Notes: The author would like to thank Matt Foreman, Bernard Koenig and the referee of this paper for valuable remarks and corrections. In addition the author would like to thank Matt Foremann and Martin Zeman for inviting him to the University of California at Irvine for a week during which he gave an extended exposition of this work. Suggestions made during this visit led directly to a dramatically improved revision of this paper. The writing of this paper was partially supported by grant number DMS-0400954 from the National Science Foundation.
- © Copyright 2008
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 361 (2009), 561-601
- MSC (2000): Primary 03E35
- DOI: https://doi.org/10.1090/S0002-9947-08-04664-3
- MathSciNet review: 2452816