Measurable cardinals and choiceless axioms
arXiv:2106.05916
Abstract
We prove that if there is an elementary embedding from the universe to itself, then there is a proper class of measurable successor cardinals.
27 pages. Added many explanations and fixed a mistake in the treatment of the Ketonen order in ZF that was pointed out by an anonymous referee