2000 character limit reached
On a cofinal Reinhardt embedding without Powerset (2406.10698v3)
Published 15 Jun 2024 in math.LO
Abstract: In this paper, we provide a positive answer to a question by Matthews whether $\mathsf{ZF}-$ is consistent with a non-trivial cofinal Reinhardt elementary embedding $j\colon V\to V$. The consistency follows from $\mathsf{ZFC} + I_0$, and more precisely, it is witnessed by Schlutzenberg's model of $\mathsf{ZF}$ with an elementary embedding $k\colon V_{\lambda+2}\to V_{\lambda+2}$.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.