Conjectured non-derivability from ZFC + I_1
Prove that ZFC + I_1 does not prove the consistency of the theory comprising ZF−_j plus a cofinal elementary embedding j: V → V, together with DC_λ and the existence of V_{λ+1} where λ = sup_{n<ω} j^n(crit(j)).
References
Hence the author conjectures $ZFC+I_1$ does not prove the consistency of the theory ``$ZF-_j$ + $j\colon V\to V$ is cofinal + $DC_\lambda$ + $V_{\lambda+1}$ exists.''
— On a cofinal Reinhardt embedding without Powerset
(2406.10698 - Jeon, 15 Jun 2024) in Section 6 (Discussions)