Indestructibility of Wholeness
Paul Corazza · Fundamenta Mathematicae · 2020
The Wholeness Axiom (WA) is an axiom schema that asserts the existence of a nontrivial elementary embedding from $V$ to itself. The schema is formulated in the language $\{\in ,{\bf j} \}$, where ${\bf j} $ is a unary function symbol intended to stand for