Reinhardt cardinals and iterates of V

DOI10.1016/J.APAL.2021.103056MaRDI QIDQ6334091arXivFDO

Authors Farmer Schlutzenberg

Publication date 4 February 2020

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Axiom of choice and related propositions (03E25) Large cardinals (03E55)

Abstract: Assume ZF($j$) and there is a Reinhardt cardinal, as witnessed by the elementary embedding $j:VoV$. We investigate the linear iterates $(N_{alpha},j_{alpha})$ of $(V,j)$, and their relationship to $(V,j)$, forcing and definability, including that for each infinite ordinal $alpha$, every set is set-generic over $N_{alpha}$, but $N_{alpha}$ is not a set-ground. Assume second order ZF. We prove that the existence of super Reinhardt cardinals and total Reinhardt cardinals is not affected by small forcing. And if $V[G]$ has a set of ordinals which is not in $V$, then $V[G]$ has no elementary embedding $j:V[G]oMsubseteqV$ (even allowing $M$ to be illfounded).

This page was built for publication: Reinhardt cardinals and iterates of V

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