Journal of Symbolic Logic 85 (1):467-485 (2020)

In 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} \right]$ the tree property at $$\lambda = \left^{V\left[ {\left} \right]} $$ is indestructible under all ${\kappa ^ + }$-cc forcing notions which live in $V\left[ {{\rm{Add}}\left} \right]$, where ${\rm{Add}}\left$ is the Cohen forcing for adding λ-many subsets of κ and $\left$ is the standard Mitchell forcing for obtaining the tree property at $\lambda = \left^{V\left[ {\left} \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^{{V^{\rm{*}}}}}$ is indestructible under all ${\kappa ^ + }$-cc forcing notions living in $V\left[ {{\rm{Add}}\left} \right]$, and in addition under all forcing notions living in ${V^{\rm{*}}}$ which are ${\kappa ^ + }$-closed and “liftable” in a prescribed sense.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2019.61
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,307
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Easton's Theorem for the Tree Property Below ℵ.Šárka Stejskalová - 2021 - Annals of Pure and Applied Logic 172 (7):102974.

Add more citations

Similar books and articles

Fragility and Indestructibility of the Tree Property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.
A Remark on the Tree Property in a Choiceless Context.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (5-6):585-590.
The Strong Tree Property and the Failure of SCH.Jin Du - 2019 - Archive for Mathematical Logic 58 (7-8):867-875.
Aronszajn and Kurepa Trees.James Cummings - 2018 - Archive for Mathematical Logic 57 (1-2):83-90.
An Equiconsistency for Universal Indestructibility.Arthur W. Apter & Grigor Sargsyan - 2010 - Journal of Symbolic Logic 75 (1):314-322.
Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.
Forcing Indestructibility of MAD Families.Jörg Brendle & Shunsuke Yatabe - 2005 - Annals of Pure and Applied Logic 132 (2):271-312.


Added to PP index

Total views
4 ( #1,278,789 of 2,507,867 )

Recent downloads (6 months)
1 ( #416,715 of 2,507,867 )

How can I increase my downloads?


My notes