Strong Tree Properties at Successors of Singular Cardinals
arXiv:1209.1814
Abstract
We prove that successors of singular limits of strongly compact cardinals have the strong tree property. We also prove that aleph_{omega+1} can consistently satisfy the strong tree property.