The entire NS ideal on can be precipitous

1997 ◽  
Vol 62 (4) ◽  
pp. 1161-1172 ◽  
Author(s):  
Noa Goldring
Keyword(s):  
Supercompact Cardinal ◽  
Ground Model ◽  
Consistency Strength ◽  
Complete Proof ◽  
Uncountable Cardinal ◽  
New Ideas ◽  
Uncountable Cardinals ◽  
Woodin Cardinal

The main result of this note is showing that if γ and μ are regular uncountable cardinals with γ ≤ μ then the non-stationary ideal (henceforth the NS ideal) on can be precipitous. This strengthens a result of [1] showing, under the same hypotheses, that a restriction of this ideal can be precipitous. See [1, Theorem 29, p. 36]. In fact, we show that even the strongly NS ideal on is precipitous in our model (since the former ideal is a restriction of the latter, the latter's being precipitous is a stronger assertion).More precisely, by starting with a model of “ZFC + ‘κ is a supercompact cardinal’ + ‘μ < κ is a regular uncountable cardinal’ ”, we generate a model of ZFC where all cardinals below and including μ are not collapsed and where the NS and strongly NS ideals on Pγμ are precipitous, for all regular uncountable γ which are less than or equal to μ.As far as consistency strength, we can obtain the same result even if κ is only Woodin in the ground model. However, the proof of this result is more complicated than in the case when κ is a supercompact cardinal. Furthermore, there are essentially no new ideas in adapting the proof relative to a supercompact cardinal to that relative to a Woodin cardinal beyond what appears in, e.g., [2]. We therefore give the complete proof relative to the existence of a supercompact cardinal and then briefly sketch the proof relative to the existence of a Woodin cardinal, using [2] as a reference.

Co-stationarity of the ground model

2006 ◽  
Vol 71 (3) ◽  
pp. 1029-1043 ◽  
Author(s):  
Natasha Dobrinen ◽  
Sy-David Friedman
Keyword(s):  
Large Cardinals ◽  
Partial Ordering ◽  
Proper Class ◽  
Ground Model ◽  
Covering Theorem ◽  
Uncountable Cardinal ◽  
Cohen Forcing ◽  
Measurable Cardinals

AbstractThis paper investigates when it is possible for a partial ordering ℙ to force Pk(Λ)\V to be stationary in Vℙ. It follows from a result of Gitik that whenever ℙ adds a new real, then Pk(Λ)\V is stationary in Vℙ for each regular uncountable cardinal κ in Vℙ and all cardinals λ ≥ κ in Vℙ [4], However, a covering theorem of Magidor implies that when no new ω-sequences are added, large cardinals become necessary [7]. The following is equiconsistent with a proper class of ω1-Erdős cardinals: If ℙ is ℵ1-Cohen forcing, then Pk(Λ)\V is stationary in Vℙ, for all regular κ ≥ ℵ2and all λ ≩ κ. The following is equiconsistent with an ω1-Erdős cardinal: If ℙ is ℵ1-Cohen forcing, then is stationary in Vℙ. The following is equiconsistent with κ measurable cardinals: If ℙ is κ-Cohen forcing, then is stationary in Vℙ.

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 Categoricity and U-rank in excellent classes

2003 ◽  
Vol 68 (4) ◽  
pp. 1317-1336 ◽  
Author(s):  
Olivier Lessmann
Keyword(s):  
Free Groups ◽  
Order Theory ◽  
First Order ◽  
Atomic Models ◽  
First Order Theory ◽  
Uncountable Cardinal ◽  
Order Case ◽  
Uncountable Cardinals

AbstractLet be the class of atomic models of a countable first order theory. We prove that if is excellent and categorical in some uncountable cardinal, then each model is prime and minimal over the basis of a definable pregeometry given by a quasiminimal set. This implies that is categorical in all uncountable cardinals. We also introduce a U-rank to measure the complexity of complete types over models. We prove that the U-rank has the usual additivity properties, that quasiminimal types have U-rank 1, and that the U-rank of any type is finite in the uncountably categorical, excellent case. However, in contrast to the first order case, the supremum of the U-rank over all types may be ω (and is not achieved). We illustrate the theory with the example of free groups, and Zilber's pseudo analytic structures.

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.

A hierarchy of filters on regular uncountable cardinals

1987 ◽  
Vol 52 (2) ◽  
pp. 388-395
Author(s):  
Thomas Jech
Keyword(s):  
Uncountable Cardinal ◽  
Uncountable Cardinals

AbstractWe introduce a well-founded relation < between filters on the space of descending sequences of ordinals. For each regular uncountable cardinal κ, the length of the relation is an ordinal o(κ) ≤ (2κ)+.

scholarly journals UNIVERSAL CLASSES NEAR ${\aleph _1}$

2018 ◽  
Vol 83 (04) ◽  
pp. 1633-1643 ◽  
Author(s):  
MARCOS MAZARI-ARMIDA ◽  
SEBASTIEN VASEY
Keyword(s):  
Sufficient Conditions ◽  
List Type ◽  
Type Number ◽  
Abstract Elementary Classes ◽  
Uncountable Cardinal ◽  
Elementary Classes ◽  
Universal Classes ◽  
Uncountable Cardinals ◽  
Image Position

AbstractShelah has provided sufficient conditions for an ${\Bbb L}_{\omega _1 ,\omega } $-sentence ψ to have arbitrarily large models and for a Morley-like theorem to hold of ψ. These conditions involve structural and set-theoretic assumptions on all the ${\aleph _n}$’s. Using tools of Boney, Shelah, and the second author, we give assumptions on ${\aleph _0}$ and ${\aleph _1}$ which suffice when ψ is restricted to be universal:Theorem. Assume ${2^{{\aleph _0}}} < {2^{{\aleph _1}}}$. Let ψ be a universal ${\Bbb L}_{\omega _1 ,\omega } $-sentence.(1)If ψ is categorical in ${\aleph _0}$ and $1 \leqslant {\Bbb L}\left( {\psi ,\aleph _1 } \right) < 2^{\aleph _1 } $, then ψ has arbitrarily large models and categoricity of ψ in some uncountable cardinal implies categoricity of ψ in all uncountable cardinals.(2)If ψ is categorical in ${\aleph _1}$, then ψ is categorical in all uncountable cardinals.The theorem generalizes to the framework of ${\Bbb L}_{\omega _1 ,\omega } $-definable tame abstract elementary classes with primes.

The consistency strength of an infinitary Ramsey property

1994 ◽  
Vol 59 (4) ◽  
pp. 1158-1195 ◽  
Author(s):  
George Kafkoulis
Keyword(s):  
Supercompact Cardinal ◽  
Ramsey Property ◽  
Consistency Strength ◽  
Image Position

AbstractIn this paper we study the consistency strength of the theoryand we prove the consistency of this theory relative to the consistency of the existence of a supercompact cardinal and an inaccessible above it.

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.

scholarly journals ON THE SPLITTING NUMBER AT REGULAR CARDINALS

2015 ◽  
Vol 80 (4) ◽  
pp. 1348-1360 ◽  
Author(s):  
OMER BEN-NERIA ◽  
MOTI GITIK
Keyword(s):  
Core Model ◽  
Generic Extension ◽  
Singular Cardinal ◽  
Ground Model ◽  
The Core ◽  
Regular Cardinals ◽  
Splitting Number ◽  
Uncountable Cardinals

AbstractLetκ, λ be regular uncountable cardinals such that λ >κ+is not a successor of a singular cardinal of low cofinality. We construct a generic extension withs(κ) = λ starting from a ground model in whicho(κ) = λ and prove that assuming ¬0¶,s(κ) = λ implies thato(κ) ≥ λ in the core model.

scholarly journals An equiconsistency for universal indestructibility

2010 ◽  
Vol 75 (1) ◽  
pp. 314-322 ◽  
Author(s):  
Arthur W. Apter ◽  
Grigor Sargsyan
Keyword(s):  
Weak Form ◽  
Consistency Strength ◽  
Strong Compactness ◽  
Woodin Cardinal

AbstractWe obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woodin cardinal, Stewart Baldwin's notion of hyperstrong cardinal. We also briefly indicate how our methods are applicable to universal indestructibility for supercompactness and strong compactness.

Sign in / Sign up

Export Citation Format

Share Document