# The Wholeness Axioms and V=HOD

@article{Hamkins2001TheWA, title={The Wholeness Axioms and V=HOD}, author={Joel David Hamkins}, journal={Archive for Mathematical Logic}, year={2001}, volume={40}, pages={1-8} }

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.

## 14 Citations

The Wholeness Axioms and the Class of Supercompact Cardinals

- Mathematics, Economics
- 2012

We show that certain relatively consistent structural properties of the class of supercompact cardinals are also relatively consistent with the Wholeness Axioms.

The Axiom of Infinity and transformations j: V -> V

- PhilosophyBull. Symb. Log.
- 2010

A new approach for addressing the problem of establishing an axiomatic foundation for large cardinals is suggested, using Lawvere's transformation, rather than ω, as a starting point for a reasonably natural sequence of strengthenings and refinements, leading to a proposed strong Axiom of Infinity.

How strong is a Reinhardt set over extensions of CZF?

- Mathematics
- 2021

. We investigate the lower bound of the consistency strength of CZF with Full Separation Sep and a Reinhardt set, a constructive analogue of Reinhardt cardinals. We show that CZF + Sep with a…

Very large set axioms over constructive set theories

- Mathematics
- 2022

. We investigate large set axioms deﬁned in terms of elementary embeddings over constructive set theories, focusing on IKP and CZF . Most previously studied large set axioms, notably the constructive…

Lifting elementary embeddings j: Vλ → Vλ

- Computer ScienceArch. Math. Log.
- 2007

This method is used to prove that, assuming the consistency of an I3 embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”.

Forcing with Non-wellfounded Models

- Environmental Science
- 2007

We develop the machinery for performing forcing over an arbitrary (possibly non-wellfounded) model of set theory. For consistency results, this machinery is unnecessary since such results can always…

Large cardinals and definable well-orders on the universe

- MathematicsThe Journal of Symbolic Logic
- 2009

A reverse Easton forcing iteration is used to obtain a universe with a definable well-order, while preserving the GCH and proper classes of a variety of very large cardinals, by choosing the cardinals at which coding occurs sufficiently sparsely.

Woodin cardinals and forcing

- Environmental Science
- 2017

Despite being an established notion in the large cardinal hierarchy, results about Woodin cardinals are sparse in the literature. Here we gather known results about the preservation of Woodin…

## References

Elementary Embeddings and Infinitary Combinatorics

- MathematicsJ. Symb. Log.
- 1971

One of the standard ways of postulating large cardinal axioms is to consider elementary embeddings, j, from the universe, V into some transitive submodel, M, and it is shown that whenever κ is measurable, there is such j and M .