TY - RPRT TI - On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$ AU - Farmer Schlutzenberg PY - 2024 DO - 10.1142/s0219061324500132 UR - https://arxiv.org/abs/2006.01077 ID - 2006.01077 ER -