English

Indestructibility of the tree property

Logic 2020-04-22 v1

Abstract

In the first part of the paper, we show that if ωκ<λ\omega \le \kappa < \lambda are cardinals, κ<κ=κ\kappa^{<\kappa} = \kappa, and λ\lambda is weakly compact, then in V[\M(κ,λ)]V[\M(\kappa,\lambda)] the tree property at λ=κ++V[\M(κ,λ)]\lambda = \kappa^{++V[\M(\kappa,\lambda)]} is indestructible under all κ+\kappa^+-cc forcing notions which live in V[\Add(κ,λ)]V[\Add(\kappa,\lambda)], where \Add(κ,λ)\Add(\kappa,\lambda) is the Cohen forcing for adding λ\lambda-many subsets of κ\kappa and \M(κ,λ)\M(\kappa,\lambda) is the standard Mitchell forcing for obtaining the tree property at λ=(κ++)V[\M(κ,λ)]\lambda = (\kappa^{++})^{V[\M(\kappa,\lambda)]}. This result has direct applications to Prikry-type forcing notions and generalized cardinal invariants. In the second part, we assume that λ\lambda is supercompact and generalize the construction and obtain a model VV^*, a generic extension of VV, in which the tree property at (κ++)V(\kappa^{++})^{V^*} is indestructible under all κ+\kappa^+-cc forcing notions living in V[\Add(κ,λ)]V[\Add(\kappa,\lambda)], and in addition by all forcing notions living in VV^* 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).

Keywords

Cite

@article{arxiv.1907.03142,
  title  = {Indestructibility of the tree property},
  author = {Radek Honzik and Sarka Stejskalova},
  journal= {arXiv preprint arXiv:1907.03142},
  year   = {2020}
}

Comments

22 pages, submitted

R2 v1 2026-06-23T10:13:52.203Z