Journal of Symbolic Logic 64 (3):963-983 (1999)
Abstract |
Versions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined large cardinal not weaker than a strong cardinal; indeed, under strong hypotheses, Laver sequences can be constructed for virtually any regular class of embeddings. We show here that if there is a regular class of embeddings with critical point κ, and there is an inaccessible above κ, then it is consistent for there to be a regular class that admits no Laver sequence. We also show that extendible cardinals are Laver-generating, i.e., that assuming only that κ is extendible, there is an extendible Laver sequence at κ. We use the method of proof to answer a question about Laver-closure of extendible cardinals at inaccessibles. Finally, we consider Laver sequences for super-almost-huge cardinals. Assuming slightly more than super-almost-hugeness, we show that there are super-almost-huge Laver sequences, improving the previously known upper bound for such Laver sequences. We also describe conditions under which the canonical construction of a Laver sequence fails for super-almost-huge cardinals
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/2586614 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Strong Axioms of Infinity and Elementary Embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
Set Theory. An Introduction to Independence Proofs.James E. Baumgartner & Kenneth Kunen - 1986 - Journal of Symbolic Logic 51 (2):462.
On Certain Indestructibility of Strong Cardinals and a Question of Hajnal.Moti Gitik & Saharon Shelah - 1989 - Archive for Mathematical Logic 28 (1):35-42.
View all 6 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.
On Extendible Cardinals and the GCH.Konstantinos Tsaprounis - 2013 - Archive for Mathematical Logic 52 (5-6):593-602.
The Wholeness Axiom and Laver Sequences.Paul Corazza - 2000 - Annals of Pure and Applied Logic 105 (1-3):157-260.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
View all 8 citations / Add more citations
Similar books and articles
Some Structural Results Concerning Supercompact Cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (4):1919-1927.
Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
The Least Measurable Can Be Strongly Compact and Indestructible.Arthur W. Apter & Moti Gitik - 1998 - Journal of Symbolic Logic 63 (4):1404-1412.
Unfoldable Cardinals and the GCH.Joel David Hamkins - 2001 - Journal of Symbolic Logic 66 (3):1186-1198.
General Random Sequences and Learnable Sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
More on Cichoń's Diagram and Infinite Games.Masaru Kada - 2000 - Journal of Symbolic Logic 65 (4):1713-1724.
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Club Guessing Sequences and Filters.Tetsuya Ishiu - 2005 - Journal of Symbolic Logic 70 (4):1037-1071.
Exactly Controlling the Non-Supercompact Strongly Compact Cardinals.Arthur W. Apter & Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):669-688.
Analytics
Added to PP index
2009-01-28
Total views
189 ( #63,016 of 2,520,772 )
Recent downloads (6 months)
1 ( #405,623 of 2,520,772 )
2009-01-28
Total views
189 ( #63,016 of 2,520,772 )
Recent downloads (6 months)
1 ( #405,623 of 2,520,772 )
How can I increase my downloads?
Downloads