Abstract
I analyze various natural assumptions which imply that the set \({\{\omega_1^{L[x]} \mid x \subseteq \omega\}}\) is stationary in ω 1. The focal questions are which implications hold between them, what their consistency strengths are, and which large cardinal assumptions outright imply them.
Similar content being viewed by others
References
Bagaria J., Bosch R.: Solovay models and forcing extensions. J. Symbol. Logic. 69(3), 742–766 (2004)
Bagaria J., Friedman S.D.: Generic absoluteness. Ann. Pure Appl. Logic. 108, 3–13 (2001)
Friedman, S.: Fine Structure and Class Forcing. De Gruyter (2000)
Ihoda J.I., Shelah S.: Martin’s axioms, measurability and equiconsistency results. J. Symbol. Logic. 54, 78–94 (1989)
Jensen R.B., Beller A., Welch P.: Coding the Universe, Volume 47 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (1982)
Jensen, R.B., Solovay, R.M.: Some applications of almost disjoint sets. In: Bar-Hillel, Y. (ed.) Mathematical Logic and Foundations of Set Theory, pp. 84 −104. Amsterdam, North-Holland (1970)
Schindler R.: Coding into K by reasonable forcing. Trans. Am. Math. Soc. 353(2), 479–489 (2001)
Schrittesser, D.: \({{\Sigma}^1_3}\)-absoluteness in forcing extensions. Master’s thesis, University of Vienna (2004)
Shelah, S.: Can you take Solovay’s inaccessible away? Israel J. Math. 48(1), 1–47 (1984)
Silver J.: Measurable cardinals and \({{\Delta}^1_3}\) well-orderings. Ann. Math. 94, 414–446 (1971)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fuchs, G. The stationarity of the collection of the locally regulars. Arch. Math. Logic 54, 725–739 (2015). https://doi.org/10.1007/s00153-015-0437-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-015-0437-8