Abstract
The weakly compact reflection principle\({\mathrm{Refl}}_{{\mathrm{wc}}}(\kappa )\) states that \(\kappa \) is a weakly compact cardinal and every weakly compact subset of \(\kappa \) has a weakly compact proper initial segment. The weakly compact reflection principle at \(\kappa \) implies that \(\kappa \) is an \(\omega \)-weakly compact cardinal. In this article we show that the weakly compact reflection principle does not imply that \(\kappa \) is \((\omega +1)\)-weakly compact. Moreover, we show that if the weakly compact reflection principle holds at \(\kappa \) then there is a forcing extension preserving this in which \(\kappa \) is the least \(\omega \)-weakly compact cardinal. Along the way we generalize the well-known result which states that if \(\kappa \) is a regular cardinal then in any forcing extension by \(\kappa \)-c.c. forcing the nonstationary ideal equals the ideal generated by the ground model nonstationary ideal; our generalization states that if \(\kappa \) is a weakly compact cardinal then after forcing with a ‘typical’ Easton-support iteration of length \(\kappa \) the weakly compact ideal equals the ideal generated by the ground model weakly compact ideal.
Similar content being viewed by others
Notes
The second author proved that in L, a cardinal \(\kappa \) is \(\Pi ^1_{n+1}\)-indescribable if and only if the \(\Pi ^1_n\)-reflection principle holds. Independently, Bagaria-Magidor showed that in L, \(\kappa \) is a \(\Pi ^1_{n+1}\)-indescribable cardinal if and only if \(\kappa \) is what they call “n-stationary”; this is the version appearing in [2]. Thus, in L, a cardinal \(\kappa \) is \(\Pi ^1_{n+1}\)-indescribable if and only if \(\kappa \) is n-stationary if and only if the \(\Pi ^1_n\)-reflection principle holds.
The first author would like to thank James Cummings for pointing this out.
A set \(S\subseteq \kappa \) is called a non-reflecting\(\Pi ^1_n\)-indescribable subset of\(\kappa \) if S is a \(\Pi ^1_n\)-indescribable subset of \(\kappa \) and for every \(\gamma <\kappa \) the set \(S\cap \gamma \) is not a \(\Pi ^1_n\)-indescribable subset of \(\gamma \). See [4] for more on non-reflecting \(\Pi ^1_n\)-indescribable sets.
It is not known whether or not there is a forcing which adds a non-reflecting \(\Pi ^1_1\)-indescribable subset to \(\kappa \) while preserving the great \(\Pi ^1_1\)-indescribability of \(\kappa \). See Sect. 5.
This also follows from a result of Magidor [16] which states that \({\mathrm{Refl}}(\aleph _{\omega +1})\) is consistent relative to a supercompact cardinal. We emphasize Mekler and Shelah’s proof because our proof will be a generalization of theirs.
It is not clear whether the methods in this article will provide an answer to this question for \(n>1\). For a more detailed discussion of this and other questions, see Sect. 5 below.
Here \(\mathrm{ZFC}^-\) denotes the axioms of \(\mathrm{ZFC}\) without the powerset axiom and with the collection axiom instead of the replacement axiom [6].
See Sect. 2.3 for our conventions on strategic closure terminology.
Thanks to Sean Cox and Monroe Eskew for pointing this out.
References
Baumgartner, J.E.: Ineffability properties of cardinals. II. In: Logic, Foundations of Mathematics and Computability Theory (Proceedings of 5th International Congress on Logic, Methodology and Philosophy of Science, University of Western Ontario, London, Ontario, 1975), Part I, pp. 87–106. Univ. Western Ontario Ser. Philos. Sci., Vol. 9. Reidel, Dordrecht (1977)
Bagaria, J., Magidor, M., Sakai, H.: Reflection and indescribability in the constructible universe. Isr. J. Math. 208(1), 1–11 (2015)
Baumgartner, J.E., Taylor, A.D., Wagon, S.: On splitting stationary subsets of large cardinals. J. Symb. Log. 42(2), 203–214 (1977)
Cody, B.: Adding a non-reflecting weakly compact set. Notre Dame J. Form. Log. (To appear)
Cummings, J.: Iterated forcing and elementary embeddings. In: Kanamori, A., Foreman, M. (eds.) Handbook of Set Theory (Chapt. 14), vol. 2, pp. 775–883. Springer, Berlin (2010)
Gitman, V., Hamkins, J.D., Johnstone, T.A.: What is the theory ZFC without power set? MLQ Math. Log. Q. 62(4–5), 391–406 (2016)
Gitik, M., Shelah, S.: Cardinal preserving ideals. J. Symb. Log. 64(4), 1527–1551 (1999)
Hamkins, J.D.: The lottery preparation. Ann. Pure Appl. Log. 101(2–3), 103–146 (2000)
Hamkins, J.D.: Extensions with the approximation and cover properties have no new large cardinals. Fund. Math. 180(3), 257–277 (2003)
Hellsten, A.: Diamonds on large cardinals. Ann. Acad. Sci. Fenn. Math. Diss. 134, 48 (2003). Dissertation, University of Helsinki, Helsinki, 2003
Hellsten, A.: Orders of indescribable sets. Arch. Math. Logic 45(6), 705–714 (2006)
Hellsten, A.: Saturation of the weakly compact ideal. Proc. Am. Math. Soc. 138(9), 3323–3334 (2010)
Jensen, R.B.: The fine structure of the constructible hierarchy. Ann. Math. Logic, 4, 229–308; erratum.,ibid. 4 (1972), 443, 1972. With a section by Jack Silver
Kanamori, A.: The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, 2nd edn. Springer, Berlin (2003)
Lévy, A.: The sizes of the indescribable cardinals. In: Axiomatic Set Theory (Proceedings of Symposium on Pure Mathematics, Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967), pp. 205–218. Am. Math. Soc., Providence, RI (1971)
Magidor, M.: Reflecting stationary sets. J. Symb. Log. 47(4), 755–771 (1983). 1982
Mekler, A.H., Shelah, S.: The consistency strength of “every stationary set reflects”. Isr. J. Math. 67(3), 353–366 (1989)
Sun, W.Z.: Stationary cardinals. Arch. Math. Logic 32(6), 429–442 (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Cody, B., Sakai, H. The weakly compact reflection principle need not imply a high order of weak compactness. Arch. Math. Logic 59, 179–196 (2020). https://doi.org/10.1007/s00153-019-00686-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-019-00686-7