Abstract
We introduce the notion of a critical cardinal as the critical point of sufficiently strong elementary embedding between transitive sets. Assuming the Axiom of Choice this is equivalent to measurability, but it is wellknown that Choice is necessary for the equivalence. Oddly enough, this central notion was never investigated on its own before. We prove a technical criterion for lifting elementary embeddings to symmetric extensions, and we use this to show that it is consistent relative to a supercompact cardinal that there is a critical cardinal whose successor is singular.
Similar content being viewed by others
References
E. Bilinsky and M. Gitik, A model with a measurable which does not carry a normal measure, Archive for Mathematical Logic 51 (2012), 863–876.
A. Blass, I. M. Dimitriou and B. Löwe, Inaccessible cardinals without the axiom of choice, Fundamenta Mathematicae 194 (2007), 179–189.
E. L. Bull, Jr., Successive large cardinals, Annals of Mathematical Logic 15 (1978), 161–191.
T. Jech, Set Theory, Springer Monographs in Mathematics, Springer, Berlin, 2003.
A. Kanamori, The Higher Infinite, Springer Monographs in Mathematics, Springer, Berlin, 2003
A. Karagila, Iterating symmetric extensions, Journal of Symbolic Logic 84 (2019), 123–159.
J. Krueger, Radin forcing and its iterations, Archive for Mathematical Logic 46 (2007), 223–252.
M. Spector, Ultrapowers without the axiom of choice, Journal of Symbolic Logic 53 (1988), 1208–1219.
W. H. Woodin, Suitable extender models I, Journal of Mathematical Logic 10 (2010), 101–339.
Author information
Authors and Affiliations
Corresponding author
Additional information
The second author was partially supported by the Austrian Science Foundation FWF, grant I 3081-N35, and by the Royal Society Newton International Fellowship, grant no. NF170989.
Rights and permissions
About this article
Cite this article
Hayut, Y., Karagila, A. Critical cardinals. Isr. J. Math. 236, 449–472 (2020). https://doi.org/10.1007/s11856-020-1998-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-020-1998-8