The wholeness axiom and Laver sequences

  title={The wholeness axiom and Laver sequences},
  author={Paul Corazza},
  journal={Ann. Pure Appl. Logic},
In this paper we introduce the Wholeness Axiom (WA), which asserts that there is a nontrivial elementary embedding from V to itself. We formalize the axiom in the language {∈; j}, adding to the usual axioms of ZFC all instances of Separation, but no instance of Replacement, for j-formulas, as well as axioms that ensure that j is a nontrivial elementary embedding from the universe to itself. We show that WA has consistency strength strictly between I3 and the existence of a cardinal that is… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 22 references

The Higher In nite

  • A. Kanamori
  • Springer, New York
  • 1994
Highly Influential
6 Excerpts

Flipping properties and huge cardinals

  • J. Barbanel
  • Fund. Math. 13
  • 1989
Highly Influential
4 Excerpts

Making the supercompactness of indestructible under -directed closed forcing

  • R. Laver
  • Israel J. Math. 29 (4)
  • 1978
Highly Influential
6 Excerpts

Strong axioms of in nity and elementary embeddings

  • R. Solovay, W. Reinhardt, A. Kanamori
  • Ann. Math. Logic 13
  • 1978
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…