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.
Bibliographical noteFunding 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.
© 2020, The Hebrew University of Jerusalem.