English

Even ordinals and the Kunen inconsistency

Logic 2021-02-19 v3

Abstract

This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity phenomenon: assuming choiceless large cardinal axioms, the properties of the cumulative hierarchy turn out to alternate between even and odd ranks. The second part of the paper explores the structure of ultrafilters under choiceless large cardinal axioms, exploiting the fact that these axioms imply a weak form of the author's Ultrapower Axiom. The third and final part of the paper examines the consistency strength of choiceless large cardinals, including a proof that assuming DC, the existence of an elementary embedding from Vλ+3V_{\lambda+3} to Vλ+3V_{\lambda+3} implies the consistency of ZFC + I0I_0. By a recent result of Schlutzenberg, an elementary embedding from Vλ+2V_{\lambda+2} to Vλ+2V_{\lambda+2} does not suffice.

Keywords

Cite

@article{arxiv.2006.01084,
  title  = {Even ordinals and the Kunen inconsistency},
  author = {Gabriel Goldberg},
  journal= {arXiv preprint arXiv:2006.01084},
  year   = {2021}
}

Comments

60 pages