Measurable cardinals and choiceless axioms
Logic
2021-11-03 v3
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.
Keywords
Cite
@article{arxiv.2106.05916,
title = {Measurable cardinals and choiceless axioms},
author = {Gabriel Goldberg},
journal= {arXiv preprint arXiv:2106.05916},
year = {2021}
}
Comments
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