Hostname: page-component-76fb5796d-22dnz Total loading time: 0 Render date: 2024-04-25T15:48:49.377Z Has data issue: false hasContentIssue false
  • English
  • Français

THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS

Part of: Set theory

Published online by Cambridge University Press:  10 January 2023

SEAN D. COX Open the ORCID record for SEAN D. COX [Opens in a new window]  and
GUNTER FUCHS Open the ORCID record for GUNTER FUCHS [Opens in a new window]
SEAN D. COX
Affiliation:
DEPARTMENT OF MATHEMATICS AND APPLIED MATHEMATICS VIRGINIA COMMONWEALTH UNIVERSITY 1015 FLOYD AVENUE RICHMOND, VA 23284, USA E-mail: scox9@vcu.edu
GUNTER FUCHS*
Affiliation:
THE COLLEGE OF STATEN ISLAND THE CITY UNIVERSITY OF NEW YORK 2800 VICTORY BOULEVARD STATEN ISLAND, NY 10314, USA and THE GRADUATE CENTER THE CITY UNIVERSITY OF NEW YORK 365 FIFTH AVENUE NEW YORK, NY 10016, USA URL: www.math.csi.cuny.edu/~fuchs
*
E-mail: gunter.fuchs@csi.cuny.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated with arbitrary forcing classes. The relationships between the resulting principles and related principles, such as the corresponding forcing axioms and the corresponding fragments of the strong reflection principle, are analyzed, and consequences are presented. Some of these consequences are “exact” versions of diagonal stationary reflection principles of sets of ordinals. We also separate some of these diagonal strong reflection principles from related axioms.

Keywords

forcing axiomsreflection principlesstrong reflection principlediagonal reflection

MSC classification

Primary: 03E57: Generic absoluteness and forcing axioms 03E50: Continuum hypothesis and Martin's axiom 03E35: Consistency and independence results 03E75: Applications of set theory
Type
Article
Information
The Journal of Symbolic Logic , Volume 88 , Issue 3 , September 2023 , pp. 1281 - 1309
Check for updates
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Bekkali, M., Topics in Set Theory: Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho Functions, Springer, 1991.CrossRefGoogle Scholar
Claverie, B. and Schindler, R., Woodin’s axiom $(\ast)$ , bounded forcing axioms, and precipitous ideals on ${\omega}_1$ , this Journal, vol. 77 (2012), no. 2, pp. 475–498.Google Scholar
Cox, S., The diagonal reflection principle . Proceedings of the American Mathematical Society, vol. 140 (2012), no. 8, pp. 2893–2902.CrossRefGoogle Scholar
Cox, S., Forcing axioms, approachability and stationary set reflection , this Journal, vol. 86 (2021), no. 2, pp. 499–530.Google Scholar
Feng, Q. and Jech, T., Projective stationary sets and a strong reflection principle . Journal of the London Mathematical Society, vol. 58 (1998), no. 2, pp. 271–283.CrossRefGoogle Scholar
Foreman, M., Smoke and mirrors: Combinatorial properties of small large cardinals equiconsistent with huge cardinals . Advances in Mathematics, vol. 2 (2009), no. 222, pp. 565–595.CrossRefGoogle Scholar
Foreman, M., Magidor, M., and Shelah, S., Martin’s maximum, saturated ideals, and non-regular ultrafilters. Part I . Annals of Mathematics, vol. 127 (1988), no. 1, pp. 1–47.CrossRefGoogle Scholar
Friedman, H., On closed sets of ordinals . Proceedings of the American Mathematical Society, vol. 43 (1974), no. 1, pp. 393–401.10.1090/S0002-9939-1974-0327521-9CrossRefGoogle Scholar
Fuchs, G., Diagonal reflections on squares . Archive for Mathematical Logic, vol. 58 (2019), no. 1, pp. 1–26.CrossRefGoogle Scholar
Fuchs, G., Canonical fragments of the strong reflection principle . Journal of Mathematical Logic, vol. 21 (2021), no. 3, pp. 1–48.CrossRefGoogle Scholar
Fuchs, G. and Lambie-Hanson, C., Separating diagonal stationary reflection principles, this Journal, vol. 86 (2021), no. 1, pp. 262–292.Google Scholar
Fuchs, G. and Switzer, C. B., Iteration theorems for subversions of forcing classes, submitted, preprint, 2020, arXiv:2006.13376 [math.LO].Google Scholar
Jech, T., Set Theory: The Third Millennium Edition, Revised and Expanded, Springer Monographs in Mathematics, Springer, Berlin and Heidelberg, 2003.Google Scholar
Jech, T., Stationary sets , Handbook of Set Theory, vol. 1 (Foreman, M., Kanamori, A., and Magidor, M., editors), Springer, Berlin, Heidelberg, New York, 2009, pp. 93–128.Google Scholar
Jensen, R. B., Forcing axioms compatible with CH, handwritten notes, 2009. Available at https://www.mathematik.hu-berlin.de/~raesch/org/jensen.html.Google Scholar
Jensen, R. B., Subproper and subcomplete forcing, handwritten notes, 2009. Available at https://www.mathematik.hu-berlin.de/~raesch/org/jensen.html.Google Scholar
Jensen, R. B., Subcomplete forcing and $\mathbf{\mathcal{L}}$ -forcing, E-Recursion, Forcing and ${\boldsymbol{C}}^{\ast}$ -Algebras (Chong, C., Feng, Q., Slaman, T. A., Woodin, W. H., and Yang, Y., editors), Lecture Notes Series, vol. 27, Institute for Mathematical Sciences, National University of Singapore, Singapore, 2014, pp. 83–182.CrossRefGoogle Scholar
Larson, P., Separating stationary reflection principles, this Journal, vol. 65 (2000), no. 1, pp. 247–258.Google Scholar
Miyamoto, T., On iterating semiproper preorders, this Journal, vol. 67 (2002), no. 4, pp. 1431–1468.Google Scholar
Woodin, W. H., The Axiom of Determinacy, Forcing Axioms and the Nonstationary Ideal, De Gruyter, Berlin and New York, 1999.CrossRefGoogle Scholar