scholarly journals THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY

2019 ◽  
Vol 85 (1) ◽  
pp. 338-366 ◽  
Author(s):  
JUAN P. AGUILERA ◽  
SANDRA MÜLLER
Keyword(s):  
Set Theory ◽  
Consistency Strength ◽  
Axiom Of Determinacy ◽  
Woodin Cardinals ◽  
Inner Model ◽  
Image Position ◽  
Woodin Cardinal

AbstractWe determine the consistency strength of determinacy for projective games of length ω2. Our main theorem is that $\Pi _{n + 1}^1 $-determinacy for games of length ω2 implies the existence of a model of set theory with ω + n Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals A such that Mn (A), the canonical inner model for n Woodin cardinals constructed over A, satisfies $$A = R$$ and the Axiom of Determinacy. Then we argue how to obtain a model with ω + n Woodin cardinal from this.We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length ω2 with payoff in $^R R\Pi _1^1 $ or with σ-projective payoff.

scholarly journals IDEAL PROJECTIONS AND FORCING PROJECTIONS

2014 ◽  
Vol 79 (4) ◽  
pp. 1247-1285 ◽  
Author(s):  
SEAN COX ◽  
MARTIN ZEMAN
Keyword(s):  
Set Theory ◽  
Negative Answer ◽  
Large Cardinals ◽  
Normal Ideal ◽  
List Type ◽  
Type Number ◽  
Inner Model ◽  
Image Position ◽  
Open Question ◽  
Woodin Cardinal

AbstractIt is well known that saturation of ideals is closely related to the “antichain-catching” phenomenon from Foreman–Magidor–Shelah [10]. We consider several antichain-catching properties that are weaker than saturation, and prove:(1)If${\cal I}$is a normal ideal on$\omega _2 $which satisfiesstationary antichain catching, then there is an inner model with a Woodin cardinal;(2)For any$n \in \omega $, it is consistent relative to large cardinals that there is a normal ideal${\cal I}$on$\omega _n $which satisfiesprojective antichain catching, yet${\cal I}$is not saturated (or even strong). This provides a negative answer to Open Question number 13 from Foreman’s chapter in the Handbook of Set Theory ([7]).

VARSOVIAN MODELS I

2018 ◽  
Vol 83 (2) ◽  
pp. 496-528 ◽  
Author(s):  
GRIGOR SARGSYAN ◽  
RALF SCHINDLER
Keyword(s):  
Core Model ◽  
Generic Extension ◽  
Strong Cardinal ◽  
Small Core ◽  
Woodin Cardinals ◽  
Inner Model ◽  
Specific Fragment ◽  
Image Position ◽  
Woodin Cardinal

AbstractLet Msw denote the least iterable inner model with a strong cardinal above a Woodin cardinal. By [11], Msw has a fully iterable core model, ${K^{{M_{{\rm{sw}}}}}}$, and Msw is thus the least iterable extender model which has an iterable core model with a Woodin cardinal. In V, ${K^{{M_{{\rm{sw}}}}}}$ is an iterate of Msw via its iteration strategy Σ.We here show that Msw has a bedrock which arises from ${K^{{M_{{\rm{sw}}}}}}$ by telling ${K^{{M_{{\rm{sw}}}}}}$ a specific fragment ${\rm{\bar{\Sigma }}}$ of its own iteration strategy, which in turn is a tail of Σ. Hence Msw is a generic extension of $L[{K^{{M_{{\rm{sw}}}}}},{\rm{\bar{\Sigma }}}]$, but the latter model is not a generic extension of any inner model properly contained in it.These results generalize to models of the form Ms (x) for a cone of reals x, where Ms (x) denotes the least iterable inner model with a strong cardinal containing x. In particular, the least iterable inner model with a strong cardinal above two (or seven, or boundedly many) Woodin cardinals has a 2-small core model K with a Woodin cardinal and its bedrock is again of the form $L[K,{\rm{\bar{\Sigma }}}]$.

scholarly journals SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS

2018 ◽  
Vol 83 (04) ◽  
pp. 1512-1538 ◽  
Author(s):  
CHRIS LAMBIE-HANSON ◽  
PHILIPP LÜCKE
Keyword(s):  
Partial Order ◽  
Set Theory ◽  
Consistency Strength ◽  
Chain Conditions ◽  
Regular Cardinals ◽  
Aronszajn Tree ◽  
Square Principles ◽  
Image Position ◽  
Aronszajn Trees ◽  
Consistency Strengths

AbstractWith the help of various square principles, we obtain results concerning the consistency strength of several statements about trees containing ascent paths, special trees, and strong chain conditions. Building on a result that shows that Todorčević’s principle $\square \left( {\kappa ,\lambda } \right)$ implies an indexed version of $\square \left( {\kappa ,\lambda } \right)$, we show that for all infinite, regular cardinals $\lambda < \kappa$, the principle $\square \left( \kappa \right)$ implies the existence of a κ-Aronszajn tree containing a λ-ascent path. We then provide a complete picture of the consistency strengths of statements relating the interactions of trees with ascent paths and special trees. As a part of this analysis, we construct a model of set theory in which ${\aleph _2}$-Aronszajn trees exist and all such trees contain ${\aleph _0}$-ascent paths. Finally, we use our techniques to show that the assumption that the κ-Knaster property is countably productive and the assumption that every κ-Knaster partial order is κ-stationarily layered both imply the failure of $\square \left( \kappa \right)$.

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.

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.

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

A finite family weak square principle

1999 ◽  
Vol 64 (3) ◽  
pp. 1087-1110 ◽  
Author(s):  
Ernest Schimmerling
Keyword(s):  
Finite Family ◽  
Core Model ◽  
Proved Theorem ◽  
Inner Model ◽  
Square Principles ◽  
Image Position ◽  
Woodin Cardinal ◽  
Global Principle ◽  
Small Building ◽  
Weak Square

Definition 1.1. Suppose that λ ≤ κ are cardinals and Γ is a subset of (κ, κ+). By , we mean the principle asserting that there is a sequence 〈Fν | ν ∈ lim(Γ)〉 such that for every ν ∈ lim(Γ), the following hold.(1) 1 ≤ card(Fν) < λ.(2) The following hold for every C ∈ Fν.(a) C ⊆ ν ∩ Γ,(b) C is club in ν,(c) o.t.(C) ≤ κ,By we mean . If Γ = (κ, κ+), then we write for and for .These weak square principles were introduced in [Sch2, 5.1]. They generalize Jensen's principles □κ and , which are equivalent to and respectively. Jensen's global □ principle implies □κ for all κ.Theorem 1.2. Suppose that is a core model. Assume that every countable premouse M which elementarily embeds into a level of is (ω1 + 1)-iterable. Then, for every κ, holds in .The minimal non-1-small mouse is essentially a sharp for an inner model with a Woodin cardinal. We originally proved Theorem 1.2 under the assumption that is 1-small, building on [MiSt] and [Sch2]. Some generalizations followed by combining our methods with those of [St2] and [SchSt2]. (For example, the tame countably certified core model Kc satisfies .) In order to eliminate the smallness assumption all together, one replaces our use of the Dodd-Jensen lemma in proofs of condensation properties for with the weak Dodd-Jensen lemma of [NSt].

scholarly journals DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS

2017 ◽  
Vol 82 (2) ◽  
pp. 385-419
Author(s):  
ANDRÉS EDUARDO CAICEDO ◽  
MARTIN ZEMAN
Keyword(s):  
Proper Class ◽  
Inner Model ◽  
Image Position ◽  
Woodin Cardinal

AbstractIf M is a proper class inner model of ZFC and $\omega _2^{\bf{M}} = \omega _2 $, then every sound mouse projecting to ω and not past 0¶ belongs to M. In fact, under the assumption that 0¶ does not belong to M, ${\bf{K}}^{\bf{M}} \parallel \omega _2 $ is universal for all countable mice in V.Similarly, if M is a proper class inner model of ZFC, δ > ω1 is regular, (δ+)M = δ+ and in V there is no proper class inner model with a Woodin cardinal, then ${\bf{K}}^{\bf{M}} \parallel \delta $ is universal for all mice in V of cardinality less than δ.

scholarly journals The largest countable inductive set is a mouse set

1999 ◽  
Vol 64 (2) ◽  
pp. 443-459 ◽  
Author(s):  
Mitch Rudominer
Keyword(s):  
Consistency Strength ◽  
Woodin Cardinals ◽  
Inner Model ◽  
Theoretic Proof

AbstractLet κℝ be the least ordinal κ such that Lκ (ℝ) is admissible. Let A = {x ϵ ℝ ∣ (∃α < κℝ) such that x is ordinal definable in Lα (ℝ)}. It is well known that (assuming determinacy) A is the largest countable inductive set of reals. Let T be the theory: ZFC − Replacement + “There exists ω Woodin cardinals which are cofinal in the ordinals.” T has consistency strength weaker than that of the theory ZFC + “There exists ω Woodin cardinals”, but stronger than that of the theory ZFC + “There exists n Woodin Cardinals”, for each n ϵ ω. Let M be the canonical, minimal inner model for the theory T. In this paper we show that A = ℝ ∩ M. Since M is a mouse, we say that A is a mouse set. As an application, we use our characterization of A to give an inner-model-theoretic proof of a theorem of Martin which states that for all n, every real is in A.

On the ultrafilters and ultrapowers of strong partition cardinals

1984 ◽  
Vol 49 (4) ◽  
pp. 1268-1272
Author(s):  
J.M. Henle ◽  
E.M. Kleinberg ◽  
R.J. Watro
Keyword(s):  
Set Theory ◽  
Measurable Cardinal ◽  
Partition Property ◽  
Axiom Of Determinacy ◽  
Almost Everywhere ◽  
Normal Measure ◽  
Constructible Sets ◽  
Inner Model ◽  
The Axiom Of Choice ◽  
Strong Partition Cardinals

A strong partition cardinal is an uncountable well-ordered cardinal κ such that every partition of [κ]κ (the size κ subsets of κ) into less than κ many pieces has a homogeneous set of size κ. The existence of such cardinals is inconsistent with the axiom of choice, and our work concerning them is carried out in ZF set theory with just dependent choice (DC). The consistency of strong partition cardinals with this weaker theory remains an open question. The axiom of determinacy (AD) implies that a large number of cardinals including ℵ1 have the strong partition property. The hypothesis that AD holds in the inner model of constructible sets built over the real numbers as urelements has important consequences for descriptive set theory, and results concerning strong partition cardinals are often applied in this context. Kechris [4] and Kechris et al. [5] contain further information concerning the relationship between AD and strong partition cardinals.We assume familiarity with the basic results on strong partition cardinals as developed in Kleinberg [6], [7], [8] and Henle [2]. Recall that a strong partition cardinal κ is measurable; in fact every stationary subset of κ is measure one under some normal measure on κ. If μ is a countably additive ultrafilter extending the closed unbounded filter on κ, then the length of the ultrapower [κ]κ under the less than almost everywhere μ ordering is again a measurable cardinal. In §1 below we establish a polarized partition property on these measurable cardinals.

Sign in / Sign up

Export Citation Format

Share Document