Destructibility of the tree property at _ + 1

DOI10.1017/JSL.2019.4MaRDI QIDQ5222525zbMATH OpenOpenAlexFDO

Authors Yair Hayut, Menachem Magidor

Publication date 6 April 2020

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.05526

zbMATH Keywords

forcingtree propertysuccessors of singulars

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Abstract: We construct a model in which the tree property holds in $alep{h}_{omega+1}$ and it is destructible under $extCol(omega,omeg{a}_1)$. On the other hand we discuss some cases in which the tree property is indestructible under small or closed forcings.

Recommendations

• INDESTRUCTIBILITY OF THE TREE PROPERTY
• Fragility and indestructibility of the tree property
• The tree property at the \(\aleph_{2 n}\)'s and the failure of SCH at \(\aleph_\omega\)
• Fragility and indestructibility. II
• The tree property at both \(\aleph_{\omega +1}\) and \(\aleph_{\omega +2}\)

Cites work

• A cofinality-preserving small forcing may introduce a special Aronszajn tree
• Souslin trees and successors of singular cardinals
• Squares and narrow systems
• Squares, scales and stationary reflection
• The tree property and the failure of the singular cardinal hypothesis at \(\aleph _{\omega ^{2}}\)
• The tree property at successors of singular cardinals
• The tree property up to \(\aleph_{\omega+1}\)

Cited in

(7)

• Diagonal supercompact Radin forcing
• Indestructibility of some compactness principles over models of \(\mathsf{PFA} \)
• Fragility and indestructibility of the tree property
• Fragility and indestructibility. II
• On the ideal \(J[\kappa]\)
• INDESTRUCTIBILITY OF THE TREE PROPERTY
• THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL

This page was built for publication: Destructibility of the tree property at \(\aleph_{\omega + 1}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222525)