On the consistency of ZF with an elementary embedding from V_ + 2 into V_ + 2

DOI10.1142/S0219061324500132MaRDI QIDQ6992449zbMATH OpenFDO

Authors Farmer Schlutzenberg

Publication date 28 April 2025

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0219061324500132

zbMATH Keywords

\(I_0\)Axiom of ChoiceKunen inconsistencylarge cardinalrank-to-rankReinhardt cardinalset theoryZF

Mathematics Subject Classification ID

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

Cites work

• An outline of inner model theory
• Elementary embeddings and infinitary combinatorics
• scientific article; zbMATH DE number 3508498 (Why is no real title available?)
• I0 and rank-into-rank axioms
• Implications between strong large cardinal axioms
• Inverse limit reflection and the structure of \(L(V_{{\lambda}+1})\)
• Large cardinals and higher degree theory
• No elementary embedding from v into v is definable from parameters
• Periodicity in the cumulative hierarchy
• Suitable extender models. II: Beyond -huge
• VARSOVIAN MODELS I

Cited in

(2)

• On a cofinal Reinhardt embedding without powerset
• The \(\mathrm{AD}^+\) duality program, the HOD conjecture, and the ultimate-\(L\) conjecture

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 Q6992449)