scholarly journals Gap Forcing: Generalizing the Lévy-Solovay Theorem

1999 ◽  
Vol 5 (2) ◽  
pp. 264-272 ◽  
Author(s):  
Joel David Hamkins
Keyword(s):  
Large Cardinal ◽  
Weakly Compact ◽  
Supercompact Cardinals ◽  
New Class ◽  
Woodin Cardinals ◽  
Measurable Cardinals ◽  
Strong Cardinals ◽  
Strongly Compact Cardinals

AbstractThe Lévy-Solovay Theorem[8] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, huge cardinals, and so on.

scholarly journals TAMENESS FROM LARGE CARDINAL AXIOMS

2014 ◽  
Vol 79 (4) ◽  
pp. 1092-1119 ◽  
Author(s):  
WILL BONEY
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Strongly Compact Cardinal ◽  
Weakly Compact ◽  
Compact Cardinal ◽  
Dual Property ◽  
First Time ◽  
Strongly Compact Cardinals ◽  
Do So

AbstractWe show that Shelah’s Eventual Categoricity Conjecture for successors follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC withLS(K) below a strongly compact cardinalκis <κ-tame and applying the categoricity transfer of Grossberg and VanDieren [11]. These techniques also apply to measurable and weakly compact cardinals and we prove similar tameness results under those hypotheses. We isolate a dual property to tameness, calledtype shortness, and show that it follows similarly from large cardinals.

Ramsey-like cardinals

2011 ◽  
Vol 76 (2) ◽  
pp. 519-540 ◽  
Author(s):  
Victoria Gitman
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Large Fragment ◽  
Weakly Compact ◽  
Elementary Embeddings ◽  
Measurable Cardinals

AbstractOne of the numerous characterizations of a Ramsey cardinal κ involves the existence of certain types of elementary embeddings for transitive sets of size κ satisfying a large fragment of ZFC. We introduce new large cardinal axioms generalizing the Ramsey elementary embeddings characterization and show that they form a natural hierarchy between weakly compact cardinals and measurable cardinals. These new axioms serve to further our knowledge about the elementary embedding properties of smaller large cardinals, in particular those still consistent with V = L.

Forbidden intervals

2009 ◽  
Vol 74 (4) ◽  
pp. 1081-1099 ◽  
Author(s):  
Matthew Foreman
Keyword(s):  
Critical Point ◽  
Set Theory ◽  
Large Cardinals ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Elementary Embeddings ◽  
Measurable Cardinals ◽  
Precipitous Ideals ◽  
Strongly Compact Cardinals

Many classical statements of set theory are settled by the existence of generic elementary embeddings that are analogous the elementary embeddings posited by large cardinals. [2] The embeddings analogous to measurable cardinals are determined by uniform, κ-complete precipitous ideals on cardinals κ. Stronger embeddings, analogous to those originating from supercompact or huge cardinals are encoded by normal fine ideals on sets such as [κ]<λ or [κ]λ.The embeddings generated from these ideals are limited in ways analogous to conventional large cardinals. Explicitly, if j: V → M is a generic elementary embedding with critical point κ and λ supnЄωjn(κ) and the forcing yielding j is λ-saturated then j“λ+ ∉ M. (See [2].)Ideals that yield embeddings that are analogous to strongly compact cardinals have more puzzling behavior and the analogy is not as straightforward. Some natural ideal properties of this kind have been shown to be inconsistent:Theorem 1 (Kunen). There is no ω2-saturated, countably complete uniform ideal on any cardinal in the interval [ℵω, ℵω).Generic embeddings that arise from countably complete, ω2-saturated ideals have the property that sup . So the Kunen result is striking in that it apparently allows strong ideals to exist above the conventional large cardinal limitations. The main result of this paper is that it is consistent (relative to a huge cardinal) that such ideals exist.

scholarly journals Exactly controlling the non-supercompact strongly compact cardinals

2003 ◽  
Vol 68 (2) ◽  
pp. 669-688 ◽  
Author(s):  
Arthur W. Apter ◽  
Joel David Hamkins
Keyword(s):  
Strongly Compact Cardinal ◽  
Compact Cardinal ◽  
Measurable Cardinals ◽  
Strong Cardinals ◽  
Strongly Compact Cardinals

AbstractWe summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. These results improve and unify Theorems 1 and 2 of [5], due to the first author.

Stationary reflections for uncountable cofinality

1986 ◽  
Vol 51 (1) ◽  
pp. 147-151 ◽  
Author(s):  
Péter Komjáth
Keyword(s):  
Partial Order ◽  
Large Cardinal ◽  
Supercompact Cardinal ◽  
Weakly Compact ◽  
Compact Cardinal ◽  
Stationary Reflection ◽  
Supercompact Cardinals ◽  
Stationary Set ◽  
Compactness Theorems ◽  
Weakly Compact Cardinal

It was J. E. Baumgartner who in [1] proved that when a weakly compact cardinal is Lévy-collapsed to ω2 the new ω2 inherits some of the large cardinal properties; e.g. if S is a stationary set of ω-limits in ω2 then for some α < ω2, S ∩ α is stationary in α. Later S. Shelah extended this to the following theorem: if a supercompact cardinal κ is Lévy-collapsed to ω2, then in the resulting model the following holds: if S ⊆ λ is a stationary set of ω-limits and cf(λ) ≥ ω2 then there is an α. < λ such that S ∩ α is stationary in α, i.e. stationary reflection holds for countable cofinality (see [1] and [3]). These theorems are important prototypes of small cardinal compactness theorems; many applications and generalizations can be found in the literature. One might think that these results are true for sets with an uncountable cofinality μ as well, i.e. when an appropriate large cardinal is collapsed to μ++. Though this is true for Baumgartner's theorem, there remains a problem with Shelah's result. The point is that the lemma stating that a stationary set of ω-limits remains stationary after forcing with an ω2-closed partial order may be false in the case of μ-limits in a cardinal of the form λ+ with cf(λ) < μ, as was shown in [8] by Shelah. The problem has recently been solved by Baumgartner, who observed that if a universal box-sequence on the class of those ordinals with cofinality ≤ μ exists, the lemma still holds, and a universal box-sequence of the above type can be added without destroying supercompact cardinals beyond μ.

Stacking mice

2009 ◽  
Vol 74 (1) ◽  
pp. 315-335 ◽  
Author(s):  
Ronald Jensen ◽  
Ernest Schimmerling ◽  
Ralf Schindler ◽  
John Steel
Keyword(s):  
Special Interest ◽  
Generic Extension ◽  
Proper Class ◽  
Weakly Compact ◽  
Covering Theorem ◽  
Technical Result ◽  
Woodin Cardinals ◽  
Inner Model ◽  
Strong Cardinals

AbstractWe show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal κ ≥ ℵ such that □κ and □(κ) fail. 2) There is a cardinal κ such that κ is weakly compact in the generic extension by Col(κ, κ+). Of special interest is 1) with κ = ℵ3 since it follows from PFA by theorems of Todorcevic and Velickovic. Our main new technical result, which is due to the first author, is a weak covering theorem for the model obtained by stacking mice over Kc∥κ.

Large cardinal structures below ℵω

1986 ◽  
Vol 51 (3) ◽  
pp. 591-603 ◽  
Author(s):  
Arthur W. Apter ◽  
James M. Henle
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Axiom Of Choice ◽  
Weak Consistency ◽  
Consistency Strength ◽  
Supercompact Cardinals ◽  
Axiom Of Determinacy ◽  
Normal Measure ◽  
The Axiom Of Choice ◽  
Measurable Cardinals

The theory of large cardinals in the absence of the axiom of choice (AC) has been examined extensively by set theorists. A particular motivation has been the study of large cardinals and their interrelationships with the axiom of determinacy (AD). Many important and beautiful theorems have been proven in this area, especially by Woodin, who has shown how to obtain, from hypermeasurability, models for the theories “ZF + DC + ∀α < ℵ1(ℵ1 → (ℵ1)α)” and . Thus, consequences of AD whose consistency strength appeared to be beyond that of the more standard large cardinal hypotheses were shown to have suprisingly weak consistency strength.In this paper, we continue the study of large cardinals in the absence of AC and their interrelationships with AD by examining what large cardinal structures are possible on cardinals below ℵω in the absence of AC. Specifically, we prove the following theorems.Theorem 1. Con(ZFC + κ1 < κ2are supercompact cardinals) ⇒ Con(ZF + DC + The club filter on ℵ1is a normal measure + ℵ1and ℵ2are supercompact cardinals).Theorem 2. Con(ZF + AD) ⇒ Con(ZF + ℵ1, ℵ2and ℵ3are measurable cardinals which carry normal measures + μωis not a measure on any of these cardinals).

scholarly journals The Jensen Covering Property

2001 ◽  
Vol 66 (4) ◽  
pp. 1505-1523 ◽  
Author(s):  
E. Schimmerling ◽  
W. H. Woodin
Keyword(s):  
Large Cardinal ◽  
Core Model ◽  
Covering Property ◽  
Prikry Forcing ◽  
Covering Lemma ◽  
Woodin Cardinals ◽  
Inner Models ◽  
Coherent Sequence ◽  
Measurable Cardinals

The Jensen covering lemma says that either L has a club class of indiscernibles, or else, for every uncountable set A of ordinals, there is a set B ∈ L with A ⊆ B and card (B) = card(A). One might hope to extend Jensen's covering lemma to richer core models, which for us will mean to inner models of the form L[] where is a coherent sequence of extenders of the kind studied in Mitchell-Steel [8], The papers [8], [12], [10] and [1] show how to construct core models with Woodin cardinals and more. But, as Prikry forcing shows, one cannot expect too direct a generalization of Jensen's covering lemma to core models with measurable cardinals.Recall from [8] that if L[] is a core model and α is an ordinal, then either Eα = ∅, or else Eα is an extender over As in [8], we assume here that if Eα is an extender, then Eα is below superstrong type in the sense that the set of generators of Eα is bounded in (crit(Eα)). Let us say that L[] is a lower-part core model iff for every ordinal α, Eα is not a total extender over L[]. In other words, if L[] is a lower-part core model, then no cardinal in L[] is measurable as witnessed by an extender on . Other than the “below superstrong” hypothesis, we impose no bounds on the large cardinal axioms true in the levels of a lower-part core model.

scholarly journals Laver sequences for extendible and super-almost-huge cardinals

1999 ◽  
Vol 64 (3) ◽  
pp. 963-983 ◽  
Author(s):  
Paul Corazza
Keyword(s):  
Critical Point ◽  
Upper Bound ◽  
Large Cardinal ◽  
Strong Cardinal ◽  
Regular Class ◽  
Strong Cardinals ◽  
Extendible Cardinals

AbstractVersions 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.

On measurable limits of compact cardinals

1999 ◽  
Vol 64 (4) ◽  
pp. 1675-1688
Author(s):  
Arthur W. Apter
Keyword(s):  
Supercompact Cardinal ◽  
Compact Cardinal ◽  
Supercompact Cardinals ◽  
Strongly Compact Cardinals

AbstractWe extend earlier work (both individual and joint with Shelah) and prove three theorems about the class of measurable limits of compact cardinals, where a compact cardinal is one which is either strongly compact or supercompact. In particular, we construct two models in which every measurable limit of compact cardinals below the least supercompact limit of supercompact cardinals possesses non-trivial degrees of supercompactness. In one of these models, every measurable limit of compact cardinals is a limit of supercompact cardinals and also a limit of strongly compact cardinals having no non-trivial degree of supercompactness. We also show that it is consistent for the least supercompact cardinal κ to be a limit of strongly compact cardinals and be so that every measurable limit of compact cardinals below κ has a non-trivial degree of supercompactness. In this model, the only compact cardinals below κ with a non-trivial degree of supercompactness are the measurable limits of compact cardinals.

Sign in / Sign up

Export Citation Format

Share Document