A characterisation of $0^\#$ in terms of forcing
HTML articles powered by AMS MathViewer
- by Sy D. Friedman PDF
- Proc. Amer. Math. Soc. 134 (2006), 1823-1824 Request permission
Abstract:
We show that “saturation” of the universe with respect to forcing over $L$ with partial orders on $\omega _1$ is equivalent to the existence of $0^\#$.References
- Uri Abraham and Saharon Shelah, Forcing closed unbounded sets, J. Symbolic Logic 48 (1983), no. 3, 643–657. MR 716625, DOI 10.2307/2273456
- Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513
Additional Information
- Sy D. Friedman
- Affiliation: Kurt Gödel Research Center for Mathematical Logic, Währingerstrasse 25, A-1090 Wien, Austria
- MR Author ID: 191285
- Email: sdf@logic.univie.ac.at
- Received by editor(s): January 4, 2005
- Published electronically: December 2, 2005
- Additional Notes: This research was supported by Research Project Number P16334-NO5 of the Austrian Foundation for the Support of Scientific Research (FWF). The author thanks David Asperò for posing the question answered here.
- Communicated by: Carl G. Jockusch, Jr.
- © Copyright 2005
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 134 (2006), 1823-1824
- MSC (2000): Primary 03E40, 03E45, 03E55
- DOI: https://doi.org/10.1090/S0002-9939-05-08322-X
- MathSciNet review: 2207499