Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

The Wholeness Axioms and V=HOD


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 to check access.

Author information

Additional information

Received: 16 February 1999 / Revised version: 1 June 1999

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Hamkins, J. The Wholeness Axioms and V=HOD. Arch Math Logic 40, 1–8 (2001).

Download citation