Learn More
Assuming ω supercompact cardinals we force to obtain a model where the tree property holds both at אω+1, and at אn for all 2 ≤ n < ω. A model with the former was obtained by Magidor–Shelah from a(More)
When we force to obtain the first item on the list, there is a κ Aronszajn tree in the extension and it remains an Aronszajn tree after Prikry forcing. In fact, Prikry forcing adds a special(More)