Reinhardt Cardinals and Eventually Dominating Functions

Abstract

We prove a result concerning elementary embeddings of the set-theoretic universe into itself (Reinhardt embeddings) and functions on ordinals that "eventually dominate" such embeddings. We apply that result to show the existence of elementary embeddings satisfying some strict conditions and that are also reminiscent of extendibility in a more local setting. Building further on these concepts, we make precise the nature of some large cardinals whose existence under Reinhardt embeddings was proven by Gabriel Goldberg in his paper "Measurable Cardinals and Choiceless Axioms." Finally, these ideas are used to present another proof of the Kunen inconsistency.