Indestructibility of the tree property
Abstract
In the first part of the paper, we show that if are cardinals, , and is weakly compact, then in the tree property at is indestructible under all -cc forcing notions which live in , where is the Cohen forcing for adding -many subsets of and is the standard Mitchell forcing for obtaining the tree property at . 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 , a generic extension of , in which the tree property at is indestructible under all -cc forcing notions living in , and in addition by all forcing notions living in which are -closed and ``liftable'' in a prescribed sense (such as -directed closed forcings or well-met forcings which are -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