Advertisement

Archive for Mathematical Logic

, Volume 40, Issue 1, pp 1–8 | Cite as

The Wholeness Axioms and V=HOD

  • Joel David Hamkins

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Joel David Hamkins
    • 1
  1. 1.Kobe University, Graduate School of Science and Technology, Rokko-Dai, Nada-Ku, 657 Kobe, Japan JP

Personalised recommendations