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.

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 KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT

2018 ◽  
Vol 83 (2) ◽  
pp. 634-641
Author(s):  
DOUGLAS ULRICH
Keyword(s):  
Supercompact Cardinal ◽  
Image Position

AbstractWe show that if there is a supercompact cardinal, then Keisler’s order is not linear. More specifically, let Tn,k be the theory of the generic n-clique free k-ary graph for any n > k ≥ 3, and let TCas be the simple nonlow theory described by Casanovas in [2]. Then we show that TCas$$Tn,k always, and if there is a supercompact cardinal then Tn,k$$TCas.

Edge Partition Properties of Graphs

1973 ◽  
Vol 25 (3) ◽  
pp. 603-610 ◽  
Author(s):  
C. Ward Henson
Keyword(s):  
Partition Relation ◽  
Ramsey Property ◽  
Edge Partition ◽  
Image Position

Erdös and Hajnal [1] have introduced an edge partition relation for graphs(1)which means that whenever the edges of G are separated into two sets, E1 and E2, there exists a subgraph G’ of G such that G’ is isomorphic to Hi and the edges of G’ are all in Ei. for i = 1 or 2. A class of graphs has the G-R (Galvin-Ramsey) property [2] if for each H in there exists a G in which satisfies G→(H,H).

SEMILATTICES AND THE RAMSEY PROPERTY

2015 ◽  
Vol 80 (4) ◽  
pp. 1236-1259 ◽  
Author(s):  
MIODRAG SOKIĆ
Keyword(s):  
Automorphism Group ◽  
Minimal Flow ◽  
Linear Extensions ◽  
Ramsey Property ◽  
Linear Orderings ◽  
Topological Interpretation ◽  
Finite Lattices ◽  
Image Position ◽  
Fraïssé Class ◽  
Uniquely Ergodic

AbstractWe consider${\cal S}$, the class of finite semilattices;${\cal T}$, the class of finite treeable semilattices; and${{\cal T}_m}$, the subclass of${\cal T}$which contains trees with branching bounded bym. We prove that${\cal E}{\cal S}$, the class of finite lattices with linear extensions, is a Ramsey class. We calculate Ramsey degrees for structures in${\cal S}$,${\cal T}$, and${{\cal T}_m}$. In addition to this we give a topological interpretation of our results and we apply our result to canonization of linear orderings on finite semilattices. In particular, we give an example of a Fraïssé class${\cal K}$which is not a Hrushovski class, and for which the automorphism group of the Fraïssé limit of${\cal K}$is not extremely amenable (with the infinite universal minimal flow) but is uniquely ergodic.

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

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.

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.

Simple Identification of Electron Diffraction Ring Patterns

1969 ◽  
Vol 27 ◽  
pp. 160-161
Author(s):  
Carolyn Nohr ◽  
Ann Ayres
Keyword(s):  
Electron Microscope ◽  
Electron Diffraction ◽  
Diffraction Ring ◽  
Image Position

Texts on electron diffraction recommend that the camera constant of the electron microscope be determine d by calibration with a standard crystalline specimen, using the equation

Sign in / Sign up

Export Citation Format

Share Document