Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
A proof will be presented that the existence of a non-trivial $Σ_1$-elementary embedding $j: V_{λ+3} \prec V_{λ+3}$ is inconsistent with $\textsf{ZF}$. Sections 1 and 2 shall review various important contributions from the literature, notably including \cite{Goldberg2020}, \cite{Schlutzenberg2020}, and \cite{Woodin2010}, the latter reference being where the crucial forcing construction is presented. Section 3 shall introduce some new large cardinal properties, of consistency strength intermediate between $\mathsf{I_3}$ and $\mathsf{I_2}$, and greater than $\mathsf{I_1}$, respectively. The…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.10231
curl -X POST /api/v1/records/arxiv/2601.10231/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.10231/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'