Measurable cardinals and choiceless axioms

2021/06/10 by Gabriel Goldberg, Goldberg, Gabriel · 1 citation
Mathematics · Computer Science · #Advanced Topology and Set Theory #Mathematical and Theoretical Analysis #Computability, Logic, AI Algorithms

paper · pdf · doi:10.48550/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.

Cited by

• On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings

Related

• A universe with no ordinal-definable, stationary, co-stationary subset of ω₁
• Reinhardt Cardinals and Eventually Dominating Functions
• Between Ramsey and measurable cardinals
• A Note on Singular Cardinals in Set Theory Without Choice
• Set theory with a proper class of indiscernibles