{"id":"arxiv/2601.10231","url":"https://arxiv.org/abs/2601.10231","tags":["math.LO"],"score":0,"title":"Inconsistency of Reinhardt cardinals with $\\mathsf{ZF}$","domain":"math.LO","source":"arxiv","authors":["Rupert McCallum"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-15","reactions":{}}