Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn

Martin Zeman

doi:10.1215/00294527-2017-0005

2017 Two Upper Bounds on Consistency Strength of

\neg\square_{\aleph_{\omega}}

and Stationary Set Reflection at Two Successive

\aleph_{n}

Martin Zeman

Notre Dame J. Formal Logic 58(3): 409-432 (2017). DOI: 10.1215/00294527-2017-0005

Abstract

We give modest upper bounds for consistency strengths for two well-studied combinatorial principles. These bounds range at the level of subcompact cardinals, which is significantly below a $\kappa^{+}$ -supercompact cardinal. All previously known upper bounds on these principles ranged at the level of some degree of supercompactness. We show that by using any of the standard modified Prikry forcings it is possible to turn a measurable subcompact cardinal into $\aleph_{\omega}$ and make the principle $\square_{\aleph_{\omega},\lt \omega}$ fail in the generic extension. We also show that by using Lévy collapse followed by standard iterated club shooting it is possible to turn a subcompact cardinal into $\aleph_{2}$ and arrange in the generic extension that simultaneous reflection holds at $\aleph_{2}$ , and at the same time, every stationary subset of $\aleph_{3}$ concentrating on points of cofinality $\omega$ has a reflection point of cofinality $\omega_{1}$ .

References

1.

[1] Baumgartner, J. E., “A new class of order types,” Annals of Mathematical Logic, vol. 9 (1976), pp. 187–222.[1] Baumgartner, J. E., “A new class of order types,” Annals of Mathematical Logic, vol. 9 (1976), pp. 187–222.

2.

[2] Ben-David, S., and M. Magidor, “The weak $\square^{*}$ is really weaker than the full $\square$,” Journal of Symbolic Logic, vol. 51 (1986), pp. 1029–33.[2] Ben-David, S., and M. Magidor, “The weak $\square^{*}$ is really weaker than the full $\square$,” Journal of Symbolic Logic, vol. 51 (1986), pp. 1029–33.

3.

[3] Burke, D., “Generic embeddings and the failure of box,” Proceedings of the American Mathematical Society, vol. 123 (1995), pp. 2867–71.[3] Burke, D., “Generic embeddings and the failure of box,” Proceedings of the American Mathematical Society, vol. 123 (1995), pp. 2867–71.

4.

[4] Caicedo, A. E., P. B. Larson, G. Sargsyan, R. D. Schindler, J. R. Steel, and M. Zeman, “Square principles in $\mathbb{P}_{\mathrm{max}}$ extensions,” to appear in Israel Journal of Mathematics, preprint, arXiv:1205.4275v2 [math.LO]. 1205.4275v2[4] Caicedo, A. E., P. B. Larson, G. Sargsyan, R. D. Schindler, J. R. Steel, and M. Zeman, “Square principles in $\mathbb{P}_{\mathrm{max}}$ extensions,” to appear in Israel Journal of Mathematics, preprint, arXiv:1205.4275v2 [math.LO]. 1205.4275v2

5.

[5] Cummings, J., “Compactness and incompactness phenomena in set theory,” pp. 139–50 in Logic Colloquium 2001, vol. 20 of Lecture Notes in Logic, Association for Symbolic Logic, Urbana, Ill., 2005.[5] Cummings, J., “Compactness and incompactness phenomena in set theory,” pp. 139–50 in Logic Colloquium 2001, vol. 20 of Lecture Notes in Logic, Association for Symbolic Logic, Urbana, Ill., 2005.

6.

[6] Cummings, J., “Iterated forcing and elementary embeddings,” pp. 775–883 in Handbook of Set Theory, edited by M. D. Foreman and A. Kanamori, Springer, Dordrecht, 2010.[6] Cummings, J., “Iterated forcing and elementary embeddings,” pp. 775–883 in Handbook of Set Theory, edited by M. D. Foreman and A. Kanamori, Springer, Dordrecht, 2010.

7.

[7] Cummings, J., M. Foreman, and M. Magidor, “Squares, scales and stationary reflection,” Journal of Mathematical Logic, vol. 1 (2001), pp. 35–98.[7] Cummings, J., M. Foreman, and M. Magidor, “Squares, scales and stationary reflection,” Journal of Mathematical Logic, vol. 1 (2001), pp. 35–98.

8.

[8] Cummings, J., M. Foreman, and M. Magidor, “The non-compactness of square,” Journal of Symbolic Logic, vol. 68 (2003), pp. 637–43.[8] Cummings, J., M. Foreman, and M. Magidor, “The non-compactness of square,” Journal of Symbolic Logic, vol. 68 (2003), pp. 637–43.

9.

[9] Cummings, J., and E. Schimmerling, “Indexed squares,” Israel Journal of Mathematics, vol. 131 (2002), pp. 61–99.[9] Cummings, J., and E. Schimmerling, “Indexed squares,” Israel Journal of Mathematics, vol. 131 (2002), pp. 61–99.

10.

[10] Cummings, J., and W. H. Woodin, Generalized Prikry Forcings, monograph in preparation.[10] Cummings, J., and W. H. Woodin, Generalized Prikry Forcings, monograph in preparation.

11.

[11] Džamonja, M., and S. Shelah, “On squares, outside guessing of clubs and $I_{<f}[\lambda]$,” Fundamenta Mathematicae, vol. 148 (1995), pp. 165–98.[11] Džamonja, M., and S. Shelah, “On squares, outside guessing of clubs and $I_{<f}[\lambda]$,” Fundamenta Mathematicae, vol. 148 (1995), pp. 165–98.

12.

[12] Foreman, M. D., and M. Magidor, “Large cardinals and definable counterexamples to the continuum hypothesis,” Annals of Pure and Applied Logic, vol. 76 (1995), pp. 47–97.[12] Foreman, M. D., and M. Magidor, “Large cardinals and definable counterexamples to the continuum hypothesis,” Annals of Pure and Applied Logic, vol. 76 (1995), pp. 47–97.

13.

[13] Fuchs, G., “$\lambda$-Structures and $s$-structures: Translating the iteration strategies,” Annals of Pure and Applied Logic, vol. 162 (2011), pp. 710–51.[13] Fuchs, G., “$\lambda$-Structures and $s$-structures: Translating the iteration strategies,” Annals of Pure and Applied Logic, vol. 162 (2011), pp. 710–51.

14.

[14] Fuchs, G., “$\lambda$-Structures and $s$-structures: Translating the models,” Annals of Pure and Applied Logic, vol. 162 (2011), pp. 257–317.[14] Fuchs, G., “$\lambda$-Structures and $s$-structures: Translating the models,” Annals of Pure and Applied Logic, vol. 162 (2011), pp. 257–317.

15.

[15] Gitik, M., “The negation of the singular cardinal hypothesis from $o(\kappa)=\kappa^{++}$,” Annals of Pure and Applied Logic, vol. 43 (1989), pp. 209–34. MR1007865 10.1016/0168-0072(89)90069-9[15] Gitik, M., “The negation of the singular cardinal hypothesis from $o(\kappa)=\kappa^{++}$,” Annals of Pure and Applied Logic, vol. 43 (1989), pp. 209–34. MR1007865 10.1016/0168-0072(89)90069-9

16.

[16] Gitik, M., “Prikry type forcings,” pp. 1351–447 in Handbook of Set Theory, edited by M. D. Foreman and A. Kanamori, Springer, Dordrecht, 2010.[16] Gitik, M., “Prikry type forcings,” pp. 1351–447 in Handbook of Set Theory, edited by M. D. Foreman and A. Kanamori, Springer, Dordrecht, 2010.

17.

[17] Harrington, L., and S. Shelah, “Some exact equiconsistency results in set theory,” Notre Dame Journal of Formal Logic, vol. 26 (1985), pp. 178–88. MR783595 10.1305/ndjfl/1093870823 euclid.ndjfl/1093870823 [17] Harrington, L., and S. Shelah, “Some exact equiconsistency results in set theory,” Notre Dame Journal of Formal Logic, vol. 26 (1985), pp. 178–88. MR783595 10.1305/ndjfl/1093870823 euclid.ndjfl/1093870823

18.

[18] Jech, T., Set Theory, Springer, Berlin, 2003.[18] Jech, T., Set Theory, Springer, Berlin, 2003.

19.

[19] Jech, T., and S. Shelah, “Full reflection of stationary sets below $\aleph_{\omega}$,” Journal of Symbolic Logic, vol. 55 (1990), pp. 822–30.[19] Jech, T., and S. Shelah, “Full reflection of stationary sets below $\aleph_{\omega}$,” Journal of Symbolic Logic, vol. 55 (1990), pp. 822–30.

20.

[20] Jensen, R. B., “A new fine structure for higher core models,” handwritten notes, Berlin, 1997.[20] Jensen, R. B., “A new fine structure for higher core models,” handwritten notes, Berlin, 1997.

21.

[21] Jensen, R. B., “Corrections and remarks,” handwritten notes, Berlin, 1998.[21] Jensen, R. B., “Corrections and remarks,” handwritten notes, Berlin, 1998.

22.

[22] Jensen, R. B., E. Schimmerling, R. D. Schindler, and J. R. Steel, “Stacking mice,” Journal of Symbolic Logic, vol. 74 (2009), 315–35.[22] Jensen, R. B., E. Schimmerling, R. D. Schindler, and J. R. Steel, “Stacking mice,” Journal of Symbolic Logic, vol. 74 (2009), 315–35.

23.

[23] Krueger, J., “Destroying stationary sets,” Israel Journal of Mathematics, vol. 147 (2005), pp. 285–328.[23] Krueger, J., “Destroying stationary sets,” Israel Journal of Mathematics, vol. 147 (2005), pp. 285–328.

24.

[24] Magidor, M., “Reflecting stationary sets,” Journal of Symbolic Logic, vol. 47 (1982), pp. 755–71.[24] Magidor, M., “Reflecting stationary sets,” Journal of Symbolic Logic, vol. 47 (1982), pp. 755–71.

25.

[25] Magidor, M., and C. Lambie-Hanson, “On the strengths and weaknesses of weak squares,” Appalachian Set Theory workshop, Carnegie Mellon University, Pittsburgh, Penn., 2011, http://www.math.cmu.edu/~eschimme/Appalachian/Magidor.html.[25] Magidor, M., and C. Lambie-Hanson, “On the strengths and weaknesses of weak squares,” Appalachian Set Theory workshop, Carnegie Mellon University, Pittsburgh, Penn., 2011, http://www.math.cmu.edu/~eschimme/Appalachian/Magidor.html.

26.

[26] Mitchell, W. J., and E. Schimmerling, “Weak covering without countable closure,” Mathematical Research Letters, vol. 2 (1995), pp. 595–609.[26] Mitchell, W. J., and E. Schimmerling, “Weak covering without countable closure,” Mathematical Research Letters, vol. 2 (1995), pp. 595–609.

27.

[27] Mitchell, W. J., E. Schimmerling, and J. R. Steel, “The covering lemma up to a Woodin cardinal,” Annals of Pure and Applied Logic, vol. 84 (1997), pp. 219–55.[27] Mitchell, W. J., E. Schimmerling, and J. R. Steel, “The covering lemma up to a Woodin cardinal,” Annals of Pure and Applied Logic, vol. 84 (1997), pp. 219–55.

28.

[28] Mitchell, W. J., and J. R. Steel, Fine Structure and Iteration Trees, vol. 3 of Lecture Notes in Logic, Springer, Berlin, 1994.[28] Mitchell, W. J., and J. R. Steel, Fine Structure and Iteration Trees, vol. 3 of Lecture Notes in Logic, Springer, Berlin, 1994.

29.

[29] Sakai, H., “Chang’s conjecture and weak square,” Archive for Mathematical Logic, vol. 52 (2013), pp. 29–45.[29] Sakai, H., “Chang’s conjecture and weak square,” Archive for Mathematical Logic, vol. 52 (2013), pp. 29–45.

30.

[30] Sargsyan, G., “Nontame mouse from the failure of square at a singular strong limit cardinal,” Journal of Mathematical Logic, vol. 14 (2014), no. 1450003.[30] Sargsyan, G., “Nontame mouse from the failure of square at a singular strong limit cardinal,” Journal of Mathematical Logic, vol. 14 (2014), no. 1450003.

31.

[31] Sargsyan, G., HOD Mice and the Mouse Set Conjecture, vol. 236 of Memoirs of the American Mathematical Society, American Mathematical Society, Providence, 2015.[31] Sargsyan, G., HOD Mice and the Mouse Set Conjecture, vol. 236 of Memoirs of the American Mathematical Society, American Mathematical Society, Providence, 2015.

32.

[32] Schimmerling, E., “Combinatorial principles in the core model for one Woodin cardinal,” Annals of Pure and Applied Logic, vol. 74 (1995), pp. 153–201. MR1342358 10.1016/0168-0072(94)00036-3[32] Schimmerling, E., “Combinatorial principles in the core model for one Woodin cardinal,” Annals of Pure and Applied Logic, vol. 74 (1995), pp. 153–201. MR1342358 10.1016/0168-0072(94)00036-3

33.

[33] Schimmerling, E., “A finite family weak square principle,” Journal of Symbolic Logic, vol. 64 (1999), pp. 1087–110.[33] Schimmerling, E., “A finite family weak square principle,” Journal of Symbolic Logic, vol. 64 (1999), pp. 1087–110.

34.

[34] Schimmerling, E., and J. R. Steel, “The maximality of the core model,” Transactions of the American Mathematical Society, vol. 351 (1999), pp. 3119–41.[34] Schimmerling, E., and J. R. Steel, “The maximality of the core model,” Transactions of the American Mathematical Society, vol. 351 (1999), pp. 3119–41.

35.

[35] Schimmerling, E., and M. Zeman, “Square in core models,” Bulletin of Symbolic Logic, vol. 7 (2001), pp. 305–14.[35] Schimmerling, E., and M. Zeman, “Square in core models,” Bulletin of Symbolic Logic, vol. 7 (2001), pp. 305–14.

36.

[36] Schimmerling, E., and M. Zeman, “Characterization of $\square_{\kappa}$ in core models,” Journal of Mathematical Logic, vol. 4 (2004), pp. 1–72.[36] Schimmerling, E., and M. Zeman, “Characterization of $\square_{\kappa}$ in core models,” Journal of Mathematical Logic, vol. 4 (2004), pp. 1–72.

37.

[37] Steel, J. R., The Core Model Iterability Problem, vol. 8 of Lecture Notes in Logic, Springer, Berlin, 1996.[37] Steel, J. R., The Core Model Iterability Problem, vol. 8 of Lecture Notes in Logic, Springer, Berlin, 1996.

38.

[38] Steel, J. R., “PFA implies $\mathit{AD}^{\mathbf{L}(\mathbb{R})}$,” Journal of Symbolic Logic, vol. 70 (2005), pp. 1255–96.[38] Steel, J. R., “PFA implies $\mathit{AD}^{\mathbf{L}(\mathbb{R})}$,” Journal of Symbolic Logic, vol. 70 (2005), pp. 1255–96.

39.

[39] Woodin, W. H., “Suitable extender models, I,” Journal of Mathematical Logic, vol. 10 (2010), pp. 101–339. MR2802084 10.1142/S021906131000095X[39] Woodin, W. H., “Suitable extender models, I,” Journal of Mathematical Logic, vol. 10 (2010), pp. 101–339. MR2802084 10.1142/S021906131000095X

40.

[40] Woodin, W. H., “Suitable extender models, II: Beyond $\omega$-huge,” Journal of Mathematical Logic, vol. 11 (2011), pp. 115–436.[40] Woodin, W. H., “Suitable extender models, II: Beyond $\omega$-huge,” Journal of Mathematical Logic, vol. 11 (2011), pp. 115–436.

41.

[41] Zeman, M., Inner Models and Large Cardinals, vol. 5 of de Gruyter Series in Logic and its Applications, de Gruyter, Berlin, 2002.[41] Zeman, M., Inner Models and Large Cardinals, vol. 5 of de Gruyter Series in Logic and its Applications, de Gruyter, Berlin, 2002.

Citation Download Citation

Martin Zeman "Two Upper Bounds on Consistency Strength of