Strong Tree Properties at Successors of Singular Cardinals (1209.1814v2)

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.