THE TREE PROPERTY AT AND

2018 ◽  
Vol 83 (2) ◽  
pp. 669-682 ◽  
Author(s):  
DIMA SINAPOVA ◽  
SPENCER UNGER
Keyword(s):  
Large Cardinals ◽  
Strong Limit ◽  
Tree Property ◽  
Image Position

AbstractWe show that from large cardinals it is consistent to have the tree property simultaneously at${\aleph _{{\omega ^2} + 1}}$and${\aleph _{{\omega ^2} + 2}}$with${\aleph _{{\omega ^2}}}$strong limit.

scholarly journals Contributions to the Theory of Large Cardinals through the Method of Forcing

2021 ◽  
Vol 27 (2) ◽  
pp. 221-222
Author(s):  
Alejandro Poveda
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Supercompact Cardinal ◽  
Singular Cardinal ◽  
Strong Limit ◽  
Tree Property ◽  
Prikry Forcing ◽  
Regular Cardinals ◽  
Singular Cardinals ◽  
Vopěnka’S Principle

AbstractThe dissertation under comment is a contribution to the area of Set Theory concerned with the interactions between the method of Forcing and the so-called Large Cardinal axioms.The dissertation is divided into two thematic blocks. In Block I we analyze the large-cardinal hierarchy between the first supercompact cardinal and Vopěnka’s Principle (Part I). In turn, Block II is devoted to the investigation of some problems arising from Singular Cardinal Combinatorics (Part II and Part III).We commence Part I by investigating the Identity Crisis phenomenon in the region comprised between the first supercompact cardinal and Vopěnka’s Principle. As a result, we generalize Magidor’s classical theorems [2] to this higher region of the large-cardinal hierarchy. Also, our analysis allows to settle all the questions that were left open in [1]. Finally, we conclude Part I by presenting a general theory of preservation of $C^{(n)}$ -extendible cardinals under class forcing iterations. From this analysis we derive several applications. For instance, our arguments are used to show that an extendible cardinal is consistent with “ $(\lambda ^{+\omega })^{\mathrm {HOD}}<\lambda ^+$ , for every regular cardinal $\lambda $ .” In particular, if Woodin’s HOD Conjecture holds, and therefore it is provable in ZFC + “There exists an extendible cardinal” that above the first extendible cardinal every singular cardinal $\lambda $ is singular in HOD and $(\lambda ^+)^{\textrm {{HOD}}}=\lambda ^+$ , there may still be no agreement at all between V and HOD about successors of regular cardinals.In Part II and Part III we analyse the relationship between the Singular Cardinal Hypothesis (SCH) with other relevant combinatorial principles at the level of successors of singular cardinals. Two of these are the Tree Property and the Reflection of Stationary sets, which are central in Infinite Combinatorics.Specifically, Part II is devoted to prove the consistency of the Tree Property at both $\kappa ^+$ and $\kappa ^{++}$ , whenever $\kappa $ is a strong limit singular cardinal witnessing an arbitrary failure of the SCH. This generalizes the main result of [3] in two senses: it allows arbitrary cofinalities for $\kappa $ and arbitrary failures for the SCH.In the last part of the dissertation (Part III) we introduce the notion of $\Sigma $ -Prikry forcing. This new concept allows an abstract and uniform approach to the theory of Prikry-type forcings and encompasses several classical examples of Prikry-type forcing notions, such as the classical Prikry forcing, the Gitik-Sharon poset, or the Extender Based Prikry forcing, among many others.Our motivation in this part of the dissertation is to prove an iteration theorem at the level of the successor of a singular cardinal. Specifically, we aim for a theorem asserting that every $\kappa ^{++}$ -length iteration with support of size $\leq \kappa $ has the $\kappa ^{++}$ -cc, provided the iterates belong to a relevant class of $\kappa ^{++}$ -cc forcings. While there are a myriad of works on this vein for regular cardinals, this contrasts with the dearth of investigations in the parallel context of singular cardinals. Our main contribution is the proof that such a result is available whenever the class of forcings under consideration is the family of $\Sigma $ -Prikry forcings. Finally, and as an application, we prove that it is consistent—modulo large cardinals—the existence of a strong limit cardinal $\kappa $ with countable cofinality such that $\mathrm {SCH}_\kappa $ fails and every finite family of stationary subsets of $\kappa ^+$ reflects simultaneously.

scholarly journals ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS

2009 ◽  
Vol 09 (01) ◽  
pp. 139-157 ◽  
Author(s):  
ITAY NEEMAN
Keyword(s):  
Large Cardinals ◽  
Singular Cardinal ◽  
Strong Limit ◽  
Tree Property ◽  
Singular Cardinal Hypothesis ◽  
Aronszajn Trees ◽  
Strongly Compact Cardinals

The tree property at κ+ states that there are no Aronszajn trees on κ+, or, equivalently, that every κ+ tree has a cofinal branch. For singular strong limit cardinals κ, there is tension between the tree property at κ+ and failure of the singular cardinal hypothesis at κ; the former is typically the result of the presence of strongly compact cardinals in the background, and the latter is impossible above strongly compacts. In this paper, we reconcile the two. We prove from large cardinals that the tree property at κ+ is consistent with failure of the singular cardinal hypothesis at κ.

scholarly journals THE STRONG TREE PROPERTY AT SUCCESSORS OF SINGULAR CARDINALS

2014 ◽  
Vol 79 (01) ◽  
pp. 193-207 ◽  
Author(s):  
LAURA FONTANELLA
Keyword(s):  
Singular Limit ◽  
Inaccessible Cardinal ◽  
Tree Property ◽  
Supercompact Cardinals ◽  
Singular Cardinals ◽  
Image Position ◽  
Strongly Compact Cardinals

Abstract An inaccessible cardinal is strongly compact if, and only if, it satisfies the strong tree property. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where ${\aleph _{\omega + 1}}$ has the strong tree property. Moreover, we prove that every successor of a singular limit of strongly compact cardinals has the strong tree property.

26.—The Strong Limit-2 Case of Fourth-order Differential Equations

1974 ◽  
Vol 71 (4) ◽  
pp. 297-304
Author(s):  
V. Krishna Kumar
Keyword(s):  
Differential Equation ◽  
Fourth Order ◽  
Order Equation ◽  
Complex Numbers ◽  
Strong Limit ◽  
Fourth Order Equation ◽  
Linearly Independent ◽  
Image Position ◽  
Adjoint Operators ◽  
Bounded Below

SynopsisThe fourth-order equation considered isConditions are given on the coefficients r, p and q which ensure that this differential equation (*) is in the strong limit-2 case at ∞, i.e. is limit-2 at ∞. This implies that (*) has exactly two linearly independent solutions which are in the integrable-square space ℒ2(0, ∞) for all complex numbers λ with im [λ] ≠ 0. Additionally the conditions imply that self-adjoint operators generated by M[·] in ℒ2(0, ∞) are semi-bounded below. The results obtained are applied to the case when the coefficients r, p and q are powers of x ∈ [0, ∞).

Ultrafilters on spaces of partitions

1982 ◽  
Vol 47 (1) ◽  
pp. 137-146 ◽  
Author(s):  
James M. Henle ◽  
William S. Zwicker
Keyword(s):  
Large Cardinals ◽  
Loss Of Information ◽  
Gainful Employment ◽  
Image Position

Qκλ. Pκλ the space of all < κ-sized subsets of λ, has provided numerous opportunities for the gainful employment of set theorists in recent years, thanks to its combinatorial richness and to its relationships with various large cardinals. In the spirit of Pκλ we offer the following definition:For κ ≤ λ both cardinals, Qκλ is the set of all partitions of λ into < κ-many pieces (an element of q ∈ Qκλ is called a piece of q). EquivalentlyAn element of Pκλ may be viewed as an injection from a < κ-sized set into λ, with some information thrown away. An element of Qκλ is a surjection from λ onto a < κ-sized set, with analogous loss of information.For p, q ∈ Qκλ, we say p ≤ q iff q is a refinement of p (every piece of q is contained in a piece of p).

scholarly journals On well-bounded operators of class Г

1983 ◽  
Vol 24 (1) ◽  
pp. 1-5
Author(s):  
Adnan A. S. Jibril
Keyword(s):  
Banach Space ◽  
Linear Operator ◽  
Bounded Operators ◽  
Strong Limit ◽  
Riemann Sums ◽  
Image Position

Let T be a linear operator acting in a Banach space X. It has been shown by Smart [5] and Ringrose [3] that, if X is reflexive, then T is well-bounded if and only if it may be expressed in the formwhere {E(λ)} is a suitable family of projections in X and the integral exists as the strong limit of Riemann sums.

scholarly journals INDESTRUCTIBILITY OF THE TREE PROPERTY

2019 ◽  
Vol 85 (1) ◽  
pp. 467-485
Author(s):  
RADEK HONZIK ◽  
ŠÁRKA STEJSKALOVÁ
Keyword(s):  
Lower Bounds ◽  
Generic Extension ◽  
Tree Property ◽  
Weakly Compact ◽  
Cardinal Invariants ◽  
Cohen Forcing ◽  
Image Position

AbstractIn the first part of the article, we show that if $\omega \le \kappa < \lambda$ are cardinals, ${\kappa ^{ < \kappa }} = \kappa$, and λ is weakly compact, then in $V\left[M {\left( {\kappa ,\lambda } \right)} \right]$ the tree property at $$\lambda = \left( {\kappa ^{ + + } } \right)^{V\left[ {\left( {\kappa ,\lambda } \right)} \right]} $$ is indestructible under all ${\kappa ^ + }$-cc forcing notions which live in $V\left[ {{\rm{Add}}\left( {\kappa ,\lambda } \right)} \right]$, where ${\rm{Add}}\left( {\kappa ,\lambda } \right)$ is the Cohen forcing for adding λ-many subsets of κ and $\left( {\kappa ,\lambda } \right)$ is the standard Mitchell forcing for obtaining the tree property at $\lambda = \left( {\kappa ^{ + + } } \right)^{V\left[ {\left( {\kappa ,\lambda } \right)} \right]} $. This result has direct applications to Prikry-type forcing notions and generalized cardinal invariants. In the second part, we assume that λ is supercompact and generalize the construction and obtain a model ${V^{\rm{*}}}$, a generic extension of V, in which the tree property at ${\left( {{\kappa ^{ + + }}} \right)^{{V^{\rm{*}}}}}$ is indestructible under all ${\kappa ^ + }$-cc forcing notions living in $V\left[ {{\rm{Add}}\left( {\kappa ,\lambda } \right)} \right]$, and in addition under all forcing notions living in ${V^{\rm{*}}}$ which are ${\kappa ^ + }$-closed and “liftable” in a prescribed sense (such as ${\kappa ^{ + + }}$-directed closed forcings or well-met forcings which are ${\kappa ^{ + + }}$-closed with the greatest lower bounds).

The tree property at ℵω+2

2011 ◽  
Vol 76 (2) ◽  
pp. 477-490 ◽  
Author(s):  
Sy-David Friedman ◽  
Ajdin Halilović
Keyword(s):  
Strong Limit ◽  
Tree Property ◽  
Weakly Compact ◽  
Limit Cardinal

AbstractAssuming the existence of a weakly compact hypermeasurable cardinal we prove that in some forcing extension ℵω is a strong limit cardinal and ℵω+2 has the tree property. This improves a result of Matthew Foreman (see [2]).

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

Some strong limit-2 and Dirichiet criteria for fourth order differential expressions

1990 ◽  
Vol 108 (2) ◽  
pp. 409-416 ◽  
Author(s):  
David Race
Keyword(s):  
Hilbert Space ◽  
Orthogonal Polynomials ◽  
Differential Expression ◽  
Fourth Order ◽  
Strong Limit ◽  
The Real ◽  
Image Position

AbstractConditions are given on the real coefficients p, q and r and the weight w, for the fourth order formally symmetric differential expressionto have the properties of being strong limit-2 and Dirichlet at ∞, when considered in the weighted Hilbert space, . These extend existing results due to both W. N. Everitt and V. Krishna Kumar and cover an expression which is important in the study of certain orthogonal polynomials.

Sign in / Sign up

Export Citation Format

Share Document