On the consistency of ZF with an elementary embedding from V_{\lambda+2} into V_{\lambda+2}

DOI10.1142/S0219061324500132arXiv2006.01077MaRDI QIDQ6503983FDOQ6503983

Authors: Farmer Schlutzenberg 

Abstract: Recall that $I_{0,lambda}$ is the assertion that $lambda$ is a limit ordinal and there is an elementary embedding $j:L(V_{lambda+1})oL(V_{lambda+1})$ with critical point $<lambda$. This hypothesis is usually studied assuming ZFC holds in the full universe $V$, but we assume only ZF. We show, assuming ZF+$I_{0,lambda}$, that there is a proper class transitive inner model $M$ containing $V_{lambda+1}$ and modelling the theory [ mathrm{ZF}+I_{0,lambda}+ ext{"there is an elementary embedding }j:V_{lambda+2} o V_{lambda+2} ext{"}.] By employing the results of the papers emph{Periodicity in the cumulative hierarchy} and emph{Even ordinals and the Kunen inconsistency}, we also show that this generalizes to all even ordinals $lambda$. In the case that $lambda$ is a limit and $lambda$-DC holds in $V$, then the model $M$ constructed also satisfies $lambda$-DC. We also show that if ZFC+$I_{0,lambda}$ is consistent, then it does not imply the existence of $$. Likewise, if ZF+"$lambda$ is an even ordinal and $j:L(V_{lambda+1})oL(V_{lambda+1})$ is elementary with critical point $<lambda$" is consistent, then it does not imply the existence of $$. We show that, however, this theory does imply that $$ exists for every $Ain{V}_{lambda+1}$. We also make some further obserations on $L(V_{lambda+1})$ under such hypotheses.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

This page was built for publication: On the consistency of ZF with an elementary embedding from $V_{\lambda+2}$ into $V_{\lambda+2}$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6503983)