Annals of Pure and Applied Logic 105 (1-3):157-260 (2000)

In this paper we introduce the Wholeness Axiom , 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 I 3 and the existence of a cardinal that is super- n -huge for every n . ZFC + WA is used as a background theory for studying generalizations of Laver sequences. We define the notion of Laver sequence for general classes E consisting of elementary embeddings of the form i :V β → M , where M is transitive, and use five globally defined large cardinal notions – strong, supercompact, extendible, super-almost-huge, superhuge – for examples and special cases of the main results. Assuming WA at the beginning, and eventually refining the hypothesis as far as possible, we prove the existence of a strong form of Laver sequence for a broad range of classes E that include the five large cardinal types mentioned. We show that if κ is globally superstrong, if E is Laver-closed at beth fixed points, and if there are superstrong embeddings i with critical point κ and arbitrarily large targets such that E is weakly compatible with i , then our standard constructions are E -Laver at κ . , there is an extendible Laver sequence at κ .) In addition, in most cases our Laver sequences can be made special if E is upward λ -closed for sufficiently many λ
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(99)00052-4
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,634
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Strong Axioms of Infinity and Elementary Embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
Elementary Embeddings and Infinitary Combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
Sets Constructible From Sequences of Ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.

View all 11 references / Add more references

Citations of this work BETA

The Lottery Preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
Laver Sequences for Extendible and Super-Almost-Huge Cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
Rank-Into-Rank Hypotheses and the Failure of GCH.Vincenzo Dimonte & Sy-David Friedman - 2014 - Archive for Mathematical Logic 53 (3-4):351-366.
The Spectrum of Elementary Embeddings J: V→ V.Paul Corazza - 2006 - Annals of Pure and Applied Logic 139 (1):327-399.
Indestructibility, HOD, and the Ground Axiom.Arthur W. Apter - 2011 - Mathematical Logic Quarterly 57 (3):261-265.

View all 12 citations / Add more citations

Similar books and articles

Consistency of V = HOD with the Wholeness Axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
Laver Sequences for Extendible and Super-Almost-Huge Cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
The Wholeness Axioms and V=HOD.Joel David Hamkins - 2001 - Archive for Mathematical Logic 40 (1):1-8.
Sacks Forcing, Laver Forcing, and Martin's Axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
Removing Laver Functions From Supercompactness Arguments.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (2):154.
Relative Lawlessness in Intuitionistic Analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Lifting Elementary Embeddings J: V Λ → V Λ. [REVIEW]Paul Corazza - 2007 - Archive for Mathematical Logic 46 (2):61-72.
Choice Sequences and Informal Rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.
The Whole Being: A Journey Towards Harmony and Happiness.R. K. Mishra - 2011 - Rupa Publications India in Association with Brahma Vidya Kendra.
Strongly Dominating Sets of Reals.Michal Dečo & Miroslav Repický - 2013 - Archive for Mathematical Logic 52 (7-8):827-846.
More About Relatively Lawless Sequences.Joan Rand Moschovakis - 1994 - Journal of Symbolic Logic 59 (3):813-829.
Strong Analogues of Martin's Axiom Imply Axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
From the Axiom of Choice to Choice Sequences.H. Jervell - 1996 - Nordic Journal of Philosophical Logic 1 (1):95-98.


Added to PP index

Total views
6 ( #1,141,029 of 2,533,765 )

Recent downloads (6 months)
1 ( #388,784 of 2,533,765 )

How can I increase my downloads?


My notes