The tree property at double successors of singular cardinals of uncountable cofinality

Abstract

Assuming the existence of a strong cardinal $\kappa$ and a measurable cardinal above it, we force a generic extension in which $\kappa$ is a singular strong limit cardinal of any prescribed cofinality, and such that the tree property holds at ${\kappa }^{++}$.

arXiv comment16 pages