scholarly journals WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA PRINCIPLE

2019 ◽  
Vol 84 (4) ◽  
pp. 1711-1721 ◽  
Author(s):  
TREVOR M. WILSON
Keyword(s):  
Proper Class ◽  
Weak Version ◽  
Consistency Strength ◽  
Image Position ◽  
Remarkable Cardinals

AbstractWe consider a weak version of Schindler’s remarkable cardinals that may fail to be ${{\rm{\Sigma }}_2}$-reflecting. We show that the ${{\rm{\Sigma }}_2}$-reflecting weakly remarkable cardinals are exactly the remarkable cardinals, and that the existence of a non-${{\rm{\Sigma }}_2}$-reflecting weakly remarkable cardinal has higher consistency strength: it is equiconsistent with the existence of an ω-Erdős cardinal. We give an application involving gVP, the generic Vopěnka principle defined by Bagaria, Gitman, and Schindler. Namely, we show that gVP + “Ord is not ${{\rm{\Delta }}_2}$-Mahlo” and ${\text{gVP}}(\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{\Pi } _1 )$ + “there is no proper class of remarkable cardinals” are both equiconsistent with the existence of a proper class of ω-Erdős cardinals, extending results of Bagaria, Gitman, Hamkins, and Schindler.

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 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)$.

scholarly journals Ramsey-like cardinals II

2011 ◽  
Vol 76 (2) ◽  
pp. 541-560 ◽  
Author(s):  
Victoria Gitman ◽  
P. D. Welch
Keyword(s):  
Upper Bound ◽  
Large Cardinals ◽  
Large Cardinal ◽  
Core Model ◽  
Consistency Strength ◽  
The Core ◽  
Countable Ordinal ◽  
Elementary Embeddings ◽  
Remarkable Cardinals

AbstractThis paper continues the study of the Ramsey-like large cardinals introduced in [5] and [14]. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such embeddings are fully iterable and so it is natural to ask about large cardinal notions asserting the existence of ultrafilters allowing only α-many iterations for some countable ordinal α. Here we study such α-iterable cardinals. We show that the α-iterable cardinals form a strict hierarchy for α ≤ ω1, that they are downward absolute to L for , and that the consistency strength of Schindler's remarkable cardinals is strictly between 1-iterable and 2-iterable cardinals.We show that the strongly Ramsey and super Ramsey cardinals from [5] are downward absolute to the core model K. Finally, we use a forcing argument from a strongly Ramsey cardinal to separate the notions of Ramsey and virtually Ramsey cardinals. These were introduced in [14] as an upper bound on the consistency strength of the Intermediate Chang's Conjecture.

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 INTEGRATION AND CELL DECOMPOSITION IN P-MINIMAL STRUCTURES

2016 ◽  
Vol 81 (3) ◽  
pp. 1124-1141 ◽  
Author(s):  
PABLO CUBIDES KOVACSICS ◽  
EVA LEENKNEGT
Keyword(s):  
Cell Decomposition ◽  
Poincaré Series ◽  
Weak Version ◽  
Poincare Series ◽  
Skolem Functions ◽  
Direct Corollary ◽  
Image Position ◽  
And Function ◽  
Constructible Functions

AbstractWe show that the class of ${\cal L}$-constructible functions is closed under integration for any P-minimal expansion of a p-adic field $\left( {K,{\cal L}} \right)$. This generalizes results previously known for semi-algebraic and subanalytic structures. As part of the proof, we obtain a weak version of cell decomposition and function preparation for P-minimal structures, a result which is independent of the existence of Skolem functions. A direct corollary is that Denef’s results on the rationality of Poincaré series hold in any P-minimal expansion of a p-adic field $\left( {K,{\cal L}} \right)$.

THE ONTO MAPPING OF SIERPINSKI AND NONMEAGER SETS

2017 ◽  
Vol 82 (3) ◽  
pp. 958-965
Author(s):  
OSVALDO GUZMÁN GONZÁLEZ
Keyword(s):  
Weak Version ◽  
Image Position

AbstractThe principle (*) of Sierpinski is the assertion that there is a family of functions $\left\{ {{\varphi _n}:{\omega _1} \to {\omega _1}|n \in \omega } \right\}$ such that for every $I \in {[{\omega _1}]^{{\omega _1}}}$ there is n ε ω such that ${\varphi _n}[I] = {\omega _1}$. We prove that this principle holds if there is a nonmeager set of size ω1 answering question of Arnold W. Miller. Combining our result with a theorem of Miller it then follows that (*) is equivalent to $non\left( {\cal M} \right) = {\omega _1}$. Miller also proved that the principle of Sierpinki is equivalent to the existence of a weak version of a Luzin set, we will construct a model where all of these sets are meager yet $non\left( {\cal M} \right) = {\omega _1}$.

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.

UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS

2017 ◽  
Vol 82 (4) ◽  
pp. 1229-1251
Author(s):  
TREVOR M. WILSON
Keyword(s):  
Measurable Cardinal ◽  
Consistency Strength ◽  
Woodin Cardinals ◽  
Generic Absoluteness ◽  
Relative Consistency ◽  
Consistency Results ◽  
High Consistency ◽  
Image Position ◽  
General Method

AbstractWe prove several equivalences and relative consistency results regarding generic absoluteness beyond Woodin’s ${\left( {{\bf{\Sigma }}_1^2} \right)^{{\rm{u}}{{\rm{B}}_\lambda }}}$ generic absoluteness result for a limit of Woodin cardinals λ. In particular, we prove that two-step $\exists ^&#x211D; \left( {{\rm{\Pi }}_1^2 } \right)^{{\rm{uB}}_\lambda } $ generic absoluteness below a measurable limit of Woodin cardinals has high consistency strength and is equivalent, modulo small forcing, to the existence of trees for ${\left( {{\bf{\Pi }}_1^2} \right)^{{\rm{u}}{{\rm{B}}_\lambda }}}$ formulas. The construction of these trees uses a general method for building an absolute complement for a given tree T assuming many “failures of covering” for the models $L\left( {T,{V_\alpha }} \right)$ for α below a measurable cardinal.

CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY

2017 ◽  
Vol 82 (2) ◽  
pp. 510-548 ◽  
Author(s):  
SHERWOOD HACHTMAN
Keyword(s):  
Consistency Strength ◽  
Borel Hierarchy ◽  
Power Set ◽  
Sigma 1 ◽  
Weak Reflection ◽  
Logical Strength ◽  
Winning Strategies ◽  
Reflection Principles ◽  
Image Position

AbstractWe analyze the set-theoretic strength of determinacy for levels of the Borel hierarchy of the form$\Sigma _{1 + \alpha + 3}^0 $, forα<ω1. Well-known results of H. Friedman and D.A. Martin have shown this determinacy to requireα+ 1 iterations of the Power Set Axiom, but we ask what additional ambient set theory is strictly necessary. To this end, we isolate a family of weak reflection principles, Π1-RAPα, whose consistency strength corresponds exactly to the logical strength of${\rm{\Sigma }}_{1 + \alpha + 3}^0 $determinacy, for$\alpha < \omega _1^{CK} $. This yields a characterization of the levels ofLby or at which winning strategies in these games must be constructed. Whenα= 0, we have the following concise result: The leastθso that all winning strategies in${\rm{\Sigma }}_4^0 $games belong toLθ+1is the least so that$L_\theta \models {\rm{``}}{\cal P}\left( \omega \right)$exists, and all wellfounded trees are ranked”.

Between strong and superstrong

1986 ◽  
Vol 51 (3) ◽  
pp. 547-559 ◽  
Author(s):  
Stewart Baldwin
Keyword(s):  
Critical Point ◽  
Large Cardinals ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Proper Class ◽  
Consistency Strength ◽  
Strong Cardinal ◽  
Definition Of ◽  
Strong Cardinals

Definition. A cardinal κ is strong iff for every x there is an elementary embedding j:V → M with critical point κ such that x ∈ M.κ is superstrong iff ∃j:V → M with critical point κ such that Vj(κ) ∈ M.These definitions are natural weakenings of supercompactness and hugeness respectively and display some of the same relations. For example, if κ is superstrong then Vκ ⊨ “∃ proper class of strong cardinals”, but the smallest superstrong cardinal is less than the smallest strong cardinal (if both types exist). (See [SRK] and [Mo] for the arguments involving supercompact and huge, which translate routinely to strong and superstrong.)Given any two types of large cardinals, a typical vague question which is often asked is “How large is the gap in consistency strength?” In one sense the gap might be considered relatively small, since the “higher degree” strong cardinals described below (a standard trick that is nearly always available) and the Shelah and Woodin hierarchies of cardinals (see [St] for a definition of these) seem to be (at least at this point in time) the only “natural” large cardinal properties lying between strong cardinals and superstrong cardinals in consistency strength.

Sign in / Sign up

Export Citation Format

Share Document