Fine structure for tame inner models

1996 ◽  
Vol 61 (2) ◽  
pp. 621-639 ◽  
Author(s):  
E. Schimmerling ◽  
J. R. Steel
Keyword(s):  
Fine Structure ◽  
Large Cardinal ◽  
Structure Theory ◽  
Uniqueness Problem ◽  
Covering Property ◽  
Strong Cardinal ◽  
Woodin Cardinals ◽  
Inner Models ◽  
Normal Measure ◽  
Consistency Results

In this paper, we solve the strong uniqueness problem posed in [St2]. That is, we extend the full fine structure theory of [MiSt] to backgrounded models all of whose levels are tame (defined in [St2] and below). As a consequence, more powerful large cardinal properties reflect to fine structural inner models. For example, we get the following extension to [MiSt, Theorem 11.3] and [St2, Theorem 0.3].Suppose that there is a strong cardinal that is a limit of Woodin cardinals. Then there is a good extender sequence such that(1) every level of is a sound, tame mouse, and(2) ⊨ “There is a strong cardinal that is a limit of Woodin cardinals”.Recall that satisfies GCH if all its levels are sound. Another consequence of our work is the following covering property, an extension to [St1, Theorem 1.4] and [St3, Theorem 1.10].Suppose that fi is a normal measure on Ω and that all premice are tame. Then Kc, the background certified core model, exists and is a premouse of height Ω. Moreover, for μ-almost every α < Ω.Ideas similar to those introduced here allow us to extend the fine structure theory of [Sch] to the level of tame mice. The details of this extension shall appear elsewhere. From the extension of [Sch] and Theorem 0.2, new relative consistency results follow. For example, we have the following application.If there is a cardinal κ such that κ is κ+-strongly compact, then there is a premouse that is not tame.

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.

Projective well-orderings and bounded forcing axioms

2005 ◽  
Vol 70 (2) ◽  
pp. 557-572
Author(s):  
Andrés Eduardo Caicedo
Keyword(s):  
Large Cardinal ◽  
Forcing Axioms ◽  
Woodin Cardinals ◽  
Inner Models

AbstractIn the absence of Woodin cardinals, fine structural inner models for mild large cardinal hypotheses admit forcing extensions where bounded forcing axioms hold and yet the reals are projectively well-ordered.

Core models with more Woodin cardinals

2002 ◽  
Vol 67 (3) ◽  
pp. 1197-1226 ◽  
Author(s):  
J. R. Steel
Keyword(s):  
Fine Structure ◽  
Model Theory ◽  
Core Model ◽  
Structure Theory ◽  
General Nature ◽  
Woodin Cardinals ◽  
The One ◽  
Iteration Trees

In this paper, we shall prove two theorems involving the construction of core models with infinitely many Woodin cardinals. We assume familiarity with [12], which develops core model theory the one Woodin level, and with [10] and [6], which extend the fine structure theory of [5] to mice having many Woodin cardinals. The most important new problem of a general nature which we must face here concerns the iterability of Kc with respect to uncountable iteration trees.Our first result is the following theorem, a slightly stronger version of which was proved independently and earlier by Woodin. The theorem settles positively a conjecture of Feng, Magidor, and Woodin [2].Theorem. Let Ω be measurable. Then the following are equivalent:(a) for all posets,(b) for every poset,(c) for every poset ℙ ∈ VΩ, Vℙ ⊨ there is no uncountable sequence of distinct reals in L(ℝ)(d) there is an Ω-iterable premouse of height Ω which satisfies “there are infinitely many Woodin cardinals”.It is an immediate corollary that if every set of reals in L(ℝ) is weakly homogeneous, then ADL(ℝ) holds. We shall also indicate some extensions of the theorem to pointclasses beyond L(ℝ), and mice with more than ω Woodin cardinals.

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.

The Fine Structure Theory

2017 ◽  
pp. 225-302
Author(s):  
Keith J. Devlin
Keyword(s):  
Fine Structure ◽  
Structure Theory

INNER MODEL THEORETIC GEOLOGY

2016 ◽  
Vol 81 (3) ◽  
pp. 972-996 ◽  
Author(s):  
GUNTER FUCHS ◽  
RALF SCHINDLER
Keyword(s):  
Set Theory ◽  
Main Theme ◽  
Solid Core ◽  
Strong Cardinal ◽  
The Third ◽  
Inner Models ◽  
Inner Model ◽  
Basic Concepts ◽  
Woodin Cardinal ◽  
The Universe

AbstractOne of the basic concepts of set theoretic geology is the mantle of a model of set theory V: it is the intersection of all grounds of V, that is, of all inner models M of V such that V is a set-forcing extension of M. The main theme of the present paper is to identify situations in which the mantle turns out to be a fine structural extender model. The first main result is that this is the case when the universe is constructible from a set and there is an inner model with a Woodin cardinal. The second situation like that arises if L[E] is an extender model that is iterable in V but not internally iterable, as guided by P-constructions, L[E] has no strong cardinal, and the extender sequence E is ordinal definable in L[E] and its forcing extensions by collapsing a cutpoint to ω (in an appropriate sense). The third main result concerns the Solid Core of a model of set theory. This is the union of all sets that are constructible from a set of ordinals that cannot be added by set-forcing to an inner model. The main result here is that if there is an inner model with a Woodin cardinal, then the solid core is a fine-structural extender model.

scholarly journals The stark effect of the fine-structure of hydrogen

1928 ◽  
Vol 119 (782) ◽  
pp. 313-334 ◽  
Keyword(s):  
Fine Structure ◽  
Hydrogen Atom ◽  
Electric Field ◽  
Quantum Dynamics ◽  
Stark Effect ◽  
Energy Levels ◽  
Structure Theory ◽  
Weak Electric Field ◽  
Classical Dynamics ◽  
Balmer Series

One of the earliest successes of classical quantum dynamics in a field where ordinary methods had proved inadequate was the solution, by Schwarzschild and Epstein, of the problem of the hydrogen atom in an electric field. It was shown by them that under the influence of the electric field each of the energy levels in which the unperturbed atom can exist on Bohr’s original theory breaks up into a number of equidistant levels whose separation is proportional to the strength of the field. Consequently, each of the Balmer lines splits into a number of components with separations which are integral multiples of the smallest separation. The substitution of the dynamics of special relativity for classical dynamics in the problem of the unperturbed hydrogen atom led Sommerfeld to his well-known theory of the fine-structure of the levels; thus, in the absence of external fields, the state n = 1 ( n = 2 in the old notation) is found to consist of two levels very close together, and n = 2 of three, so that the line H α of the Balmer series, which arises from a transition between these states, has six fine-structure components, of which three, however, are found to have zero intensity. The theory of the Stark effect given by Schwarzschild and Epstein is adequate provided that the electric separation is so much larger than the fine-structure separation of the unperturbed levels that the latter may be regarded as single; but in weak fields, when this is no longer so, a supplementary investigation becomes necessary. This was carried out by Kramers, who showed, on the basis of Sommerfeld’s original fine-structure theory, that the first effect of a weak electric field is to split each fine-structure level into several, the separation being in all cases proportional to the square of the field so long as this is small. When the field is so large that the fine-structure is negligible in comparison with the electric separation, the latter becomes proportional to the first power of the field, in agreement with Schwarzschild and Epstein. The behaviour of a line arising from a transition between two quantum states will be similar; each of the fine-structure components will first be split into several, with a separation proportional to the square of the field; as the field increases the separations increase, and the components begin to perturb each other in a way which leads ultimately to the ordinary Stark effect.

Splitting number at uncountable cardinals

1997 ◽  
Vol 62 (1) ◽  
pp. 35-42 ◽  
Author(s):  
Jindřich Zapletal
Keyword(s):  
Large Cardinal ◽  
Inner Models ◽  
Splitting Number ◽  
Uncountable Cardinal ◽  
Uncountable Cardinals

AbstractWe study a generalization of the splitting number s to uncountable cardinals. We prove that 𝔰(κ) > κ+ for a regular uncountable cardinal κ implies the existence of inner models with measurables of high Mitchell order. We prove that the assumption 𝔰(ℵω) > ℵω+1 has a considerable large cardinal strength as well.

Σ1(κ)-DEFINABLE SUBSETS OF H(κ+)

2017 ◽  
Vol 82 (3) ◽  
pp. 1106-1131 ◽  
Author(s):  
PHILIPP LÜCKE ◽  
RALF SCHINDLER ◽  
PHILIPP SCHLICHT
Keyword(s):  
Measurable Cardinal ◽  
Large Cardinal ◽  
Woodin Cardinals ◽  
Perfect Set ◽  
Nonstationary Ideal ◽  
Definable Sets ◽  
Image Position ◽  
Stationary Subsets ◽  
Woodin Cardinal ◽  
Generic Ultrapowers

AbstractWe study Σ1(ω1)-definable sets (i.e., sets that are equal to the collection of all sets satisfying a certain Σ1-formula with parameter ω1 ) in the presence of large cardinals. Our results show that the existence of a Woodin cardinal and a measurable cardinal above it imply that no well-ordering of the reals is Σ1(ω1)-definable, the set of all stationary subsets of ω1 is not Σ1(ω1)-definable and the complement of every Σ1(ω1)-definable Bernstein subset of ${}_{}^{{\omega _1}}\omega _1^{}$ is not Σ1(ω1)-definable. In contrast, we show that the existence of a Woodin cardinal is compatible with the existence of a Σ1(ω1)-definable well-ordering of H(ω2) and the existence of a Δ1(ω1)-definable Bernstein subset of ${}_{}^{{\omega _1}}\omega _1^{}$. We also show that, if there are infinitely many Woodin cardinals and a measurable cardinal above them, then there is no Σ1(ω1)-definable uniformization of the club filter on ω1. Moreover, we prove a perfect set theorem for Σ1(ω1)-definable subsets of ${}_{}^{{\omega _1}}\omega _1^{}$, assuming that there is a measurable cardinal and the nonstationary ideal on ω1 is saturated. The proofs of these results use iterated generic ultrapowers and Woodin’s ℙmax-forcing. Finally, we also prove variants of some of these results for Σ1(κ)-definable subsets of κκ, in the case where κ itself has certain large cardinal properties.

Sign in / Sign up

Export Citation Format

Share Document