Abstract.
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language \(\{\in,j\}\), and that asserts the existence of a nontrivial elementary embedding \(j:V\to V\). The well-known inconsistency proofs are avoided by omitting from the schema all instances of Replacement for j-formulas. We show that the theory ZFC + V = HOD + WA is consistent relative to the existence of an \(I_1\) embedding. This answers a question about the existence of Laver sequences for regular classes of set embeddings: Assuming there is an \(I_1\)-embedding, there is a transitive model of ZFC +WA + “there is a regular class of embeddings that admits no Laver sequence.”
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 7 July 1998 / Revised version: 5 November 1998
Rights and permissions
About this article
Cite this article
Corazza, P. Consistency of V = HOD with the wholeness axiom. Arch Math Logic 39, 219–226 (2000). https://doi.org/10.1007/s001530050144
Issue Date:
DOI: https://doi.org/10.1007/s001530050144