Abstract.
If the Wholeness Axiom wa \(_0\) is itself consistent, then it is consistent with v=hod. A consequence of the proof is that the various Wholeness Axioms are not all equivalent. Additionally, the theory zfc+wa \(_0\) is finitely axiomatizable.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 16 February 1999 / Revised version: 1 June 1999
Rights and permissions
About this article
Cite this article
Hamkins, J. The Wholeness Axioms and V=HOD. Arch Math Logic 40, 1–8 (2001). https://doi.org/10.1007/s001530050169
Issue Date:
DOI: https://doi.org/10.1007/s001530050169