Tree Properties at Successors of Singulars of Many Cofinalities
Abstract
From many supercompact cardinals, we show that it is consistent for the tree property to hold at many small successors of singular cardinals, each with a different cofinality. In particular, we construct a model in which the tree property holds at ω+ω+1 and at ωn+1 for all 0<n<ω. We show that this can be done for the strong tree property as well, and extend the technique to large uncountable sequences of desired cofinalities.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.