On a cofinal Reinhardt embedding without Powerset
Fundamenta Mathematicae
MSC: Primary 03E55; Secondary 03E35
DOI: 10.4064/fm240829-20-6
Published online: 28 July 2025
Abstract
We provide a positive answer to the question of 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}$.
