Destructibility of the tree property at ω+1
Abstract
We construct a model in which the tree property holds in ω + 1 and it is destructible under Col(ω, ω1). On the other hand we discuss some cases in which the tree property is indestructible under small or closed forcings.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.