We construct a model in which the tree property holds in $\aleph_{\omega + 1}anditisdestructibleunderanditisdestructibleunderColCol(\omega, \omega_1)$. On the other hand we discuss some cases in which the tree property is indestructible under small or closed forcings.
生成讲解博客的中文版本
生成AI智能校验的中文版本