Ramsey cardinals, α-Erdös cardinals, and the core model

1991 ◽  
Vol 56 (1) ◽  
pp. 108-114
Author(s):  
Dirk R. H. Schlingmann
Keyword(s):  
Measurable Cardinal ◽  
Core Model ◽  
The Core ◽  
Transitive Model ◽  
Normal Measure ◽  
Inner Model

The core model K was introduced by R. B. Jensen and A. J. Dodd [DoJ]. K is the union of Gödel's constructible universe L together with all mice, i.e., , and K is a transitive model of ZFC + (V = K) + GCH (see [DoJ]). V = K is consistent with the existence of Ramsey cardinals [M], and if cf(α) > ω, V = K is consistent with the existence of α-Erdös cardinals [J]. Let K be Ramsey. Then there is a smallest inner model Wκ of ZFC in which κ is Ramsey. We have Wκ ⊨ V = K and Wκ ⊆ K [M]. The existence of Wκ with is equivalent to the existence of a sharplike mouse on N ⊨ K with N ⊨ κ Ramsey. (A mouse N on is called sharplike provided .) We have , where is the mouse iteration of N. N is the oleast mouse not in Wκ (see [J] and [DJKo]). Here < denotes the mouse order. The context always clarifies whether the mouse order or the usual <-relation is meant.The main result of §1 is that Wκ ⊨ κ is the only Ramsey cardinal. A similar result has been found true in the smallest inner model L[U] of ZFC + “κ is measurable” if U is a normal measure on κ: L[U] ⊨ κ is the only measurable cardinal [Ku].

The consistency strength of the free-subset property for ωω

1984 ◽  
Vol 49 (4) ◽  
pp. 1198-1204 ◽  
Author(s):  
Peter Koepke
Keyword(s):  
Measurable Cardinal ◽  
Core Model ◽  
Reverse Direction ◽  
Ground Model ◽  
Consistency Strength ◽  
The Core ◽  
Inner Model ◽  
Free Subset ◽  
Coherent Sequence ◽  
Measurable Cardinals

A subset X of a structure S is called free in S if ∀x ∈ Xx ∉ S[X − {x}]; here, S[Y] is the substructure of S generated from Y by the functions of S. For κ, λ, μ cardinals, let Frμ(κ, λ) be the assertion:for every structure S with κ ⊂ S which has at most μ functions and relations there is a subset X ⊂ κ free in S of cardinality ≥ λ.We show that Frω(ωω, ω), the free-subset property for ωω, is equiconsistent with the existence of a measurable cardinal (2.2,4.4). This answers a question of Devlin [De].In the first section of this paper we prove some combinatorial facts about Frμ(κ, λ); in particular the first cardinal κ such that Frω(κ, ω) is weakly inaccessible or of cofinality ω (1.2). The second section shows that, under Frω(ωω, ω), ωω is measurable in an inner model. For the convenience of readers not acquainted with the core model κ, we first deduce the existence of 0# (2.1) using the inner model L. Then we adapt the proof to the core model and obtain that ωω is measurable in an inner model. For the reverse direction, we essentially apply a construction of Shelah [Sh] who forced Frω(ωω, ω) over a ground model which contains an ω-sequence of measurable cardinals. We show in §4 that indeed a coherent sequence of Ramsey cardinals suffices. In §3 we obtain such a sequence as an endsegment of a Prikry sequence.

On elementary embeddings from an inner model to the universe

2001 ◽  
Vol 66 (3) ◽  
pp. 1090-1116 ◽  
Author(s):  
J. Vickers ◽  
P. D. Welch
Keyword(s):  
Measurable Cardinal ◽  
Negative Answer ◽  
Core Model ◽  
Elementary Embedding ◽  
Proper Class ◽  
The Core ◽  
Inner Model ◽  
Elementary Embeddings ◽  
The Universe ◽  
Closure Assumption

AbstractWe consider the following question of Kunen:Does Con(ZFC + ∃M a transitive inner model and a non-trivial elementary embedding j: M → V)imply Con(ZFC + ∃ a measurable cardinal)?We use core model theory to investigate consequences of the existence of such a j: M → V. We prove, amongst other things, the existence of such an embedding implies that the core model K is a model of “there exists a proper class of almost Ramsey cardinals”. Conversely, if On is Ramsey, then such a j. M are definable.We construe this as a negative answer to the question above. We consider further the consequences of strengthening the closure assumption on j to having various classes of fixed points.

THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL

2018 ◽  
Vol 83 (3) ◽  
pp. 920-938
Author(s):  
GUNTER FUCHS ◽  
RALF SCHINDLER
Keyword(s):  
Core Model ◽  
Solid Core ◽  
The Core ◽  
Inner Model ◽  
Cohen Real ◽  
Image Position ◽  
Woodin Cardinal

AbstractIt is shown that $K|{\omega _1}$ need not be solid in the sense previously introduced by the authors: it is consistent that there is no inner model with a Woodin cardinal yet there is an inner model W and a Cohen real x over W such that $K|{\omega _1}\,\, \in \,\,W[x] \setminus W$. However, if ${0^{\rm{\P}}}$ does not exist and $\kappa \ge {\omega _2}$ is a cardinal, then $K|\kappa$ is solid. We draw the conclusion that solidity is not forcing absolute in general, and that under the assumption of $\neg {0^{\rm{\P}}}$, the core model is contained in the solid core, previously introduced by the authors.It is also shown, assuming ${0^{\rm{\P}}}$ does not exist, that if there is a forcing that preserves ${\omega _1}$, forces that every real has a sharp, and increases $\delta _2^1$, then ${\omega _1}$ is measurable in K.

Core models in the presence of Woodin cardinals

2006 ◽  
Vol 71 (4) ◽  
pp. 1145-1154
Author(s):  
Ralf Schindler
Keyword(s):  
Measurable Cardinal ◽  
Core Model ◽  
The Core ◽  
Woodin Cardinals

AbstractLet 0 < n < ω. If there are n Woodin cardinals and a measurable cardinal above, but doesn't exist, then the core model K exists in a sense made precise. An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K.

Iterates of the core model

2006 ◽  
Vol 71 (1) ◽  
pp. 241-251 ◽  
Author(s):  
Ralf Schindler
Keyword(s):  
Core Model ◽  
Elementary Embedding ◽  
The Core ◽  
Transitive Model ◽  
Woodin Cardinals

AbstractLet N be a transitive model of ZFC such that “N ⊂ N and P(ℝ) ⊂ N. Assume that both V and N satisfy “the core model K exists.” Then KN is an iterate of K, i.e., there exists an iteration tree F on K such that F has successor length and . Moreover, if there exists an elementary embedding π: V → N then the iteration map associated to the main branch of F equals π յ K. (This answers a question of W. H. Woodin, M. Gitik, and others.) The hypothesis that P(ℝ) ⊂ N is not needed if there does not exist a transitive model of ZFC with infinitely many Woodin cardinals.

scholarly journals Diagonal Prikry extensions

2010 ◽  
Vol 75 (4) ◽  
pp. 1383-1402 ◽  
Author(s):  
James Cummings ◽  
Matthew Foreman
Keyword(s):  
Model Theory ◽  
Measurable Cardinal ◽  
Core Model ◽  
Singular Cardinal ◽  
Inner Model Theory ◽  
Regular Cardinals ◽  
Inner Model ◽  
Singular Cardinals ◽  
Free Abelian Groups ◽  
Woodin Cardinal

§1. Introduction. It is a well-known phenomenon in set theory that problems in infinite combinatorics involving singular cardinals and their successors tend to be harder than the parallel problems for regular cardinals. Examples include the behaviour of cardinal exponentiation, the extent of the tree property, the extent of stationary reflection, and the existence of non-free almost-free abelian groups. The explanation for this phenomenon lies in inner model theory, in particular core models and covering lemmas. If W is an inner model of V then1. W strongly covers V if every uncountable set of ordinals is covered by a set of the same V -cardinality lying in W.2. W weakly covers V if W computes the successor of every V-singular cardinal correctly.Strong covering implies weak covering.In inner model theory there are many theorems of the general form “if there is no inner model of large cardinal hypothesis X then there is an L-like inner model Kx which Y covers V”. Here the L-like properties of Kx always include GCH and Global Square. Examples include1. X is “0# exists”, Kx is L, Y is “strongly”.2. X is “there is a measurable cardinal”, Kx is the Dodd-Jensen core model, Y is “strongly”.3. X is “there is a Woodin cardinal”, Kx is the core model for a Woodin cardinal, Y is “weakly”.

scholarly journals Jónsson cardinals, Erdős cardinals, and the core model

1999 ◽  
Vol 64 (3) ◽  
pp. 1065-1086 ◽  
Author(s):  
W. J. Mitchell
Keyword(s):  
Minimal Model ◽  
Independent Interest ◽  
Core Model ◽  
Generic Extension ◽  
The Core ◽  
Steel Core ◽  
Inner Model ◽  
Jonsson Cardinals ◽  
Woodin Cardinal

AbstractWe show that if there is no inner model with a Woodin cardinal and the Steel core model K exists, then every Jónsson cardinal is Ramsey in K, and every δ-Jónsson cardinal is δ5-Erdős in K.In the absence of the Steel core model K we prove the same conclusion for any model L[] such that either V = L[] is the minimal model for a Woodin cardinal, or there is no inner model with a Woodin cardinal and V is a generic extension of L[].The proof includes one lemma of independent interest: If V = L[A], where A ⊂ κ and κ is regular, then Lκ[A] is a Jónsson algebra. The proof of this result. Lemma 2.5, is very short and entirely elementary.

Strong ultrapowers and long core models

1993 ◽  
Vol 58 (1) ◽  
pp. 240-248 ◽  
Author(s):  
James Cummings
Keyword(s):  
Core Model ◽  
The Core ◽  
Normal Measure ◽  
Image Position

In his paper [7] Steel asked whether there can exist a normal measure U on a cardinal κ such thatWe use Reverse Easton forcing to show that this is consistent from a P2κ hypermeasure; we also show that the result is sharp, using the core model for nonoverlapping coherent extender sequences.The proof uses forcing technology due to Woodin.In this section we collect some facts that are useful in the forcing constructions of the next section. None of them are due to us, and we are unsure to whom they should be attributed for the most part. We give sketchy proofs; the reader who wants to see more details is referred to [2].

The complexity of the core model

1998 ◽  
Vol 63 (4) ◽  
pp. 1393-1398
Author(s):  
William J. Mitchell
Keyword(s):  
Core Model ◽  
Boolean Combination ◽  
The Core ◽  
Inner Model ◽  
Measurable Cardinals

AbstractIf there is no inner model with a cardinal κ such that ο(κ) = κ++ then the set K ∩ Hω1 is definable over Hω1 by a Δ4 formula, and the set of countable initial segments of the core model is definable over Hω1 by a Π3 formula. We show that if there is an inner model with infinitely many measurable cardinals then there is a model in which is not definable Σ3 by any Σ3 formula, and K ∩ Hω1 is not definable by any boolean combination of Σ3 formulas.

Successive weakly compact or singular cardinals

1999 ◽  
Vol 64 (1) ◽  
pp. 139-146 ◽  
Author(s):  
Ralf-Dieter Schindler
Keyword(s):  
Core Model ◽  
Weakly Compact ◽  
The Core ◽  
Inner Model ◽  
Singular Cardinals ◽  
Woodin Cardinal

AbstractIt is shown in ZF that if δ < δ+ < Ω are such that δ and δ+ are either both weakly compact or singular cardinals and Ω is large enough for putting the core model apparatus into action then there is an inner model with a Woodin cardinal.

Sign in / Sign up

Export Citation Format

Share Document