The tree property at double successors of singular cardinals of uncountable cofinality (Q1682900)

A \(\kappa\)-tree is called \(\kappa\)-Aronszajn, if it has no cofinal branches. \(\mathrm{TP}(\kappa)\), the tree property of the infinite cardinal \(\kappa\), is the assertion ``there is no \(\kappa\)-Aronszajn tree''. \textit{J. Cummings} and \textit{M. Foreman} [Adv. Math. 133, No. 1, 1--32 (1998; Zbl 0949.03039)] constructed relative to the existence of a supercompact cardinal \(\kappa\) and a weakly compact cardinal above it, a model such that \(\kappa\) is a singular strong limit cardinal with \(\operatorname{cf}(\kappa) = \omega\) and \(\mathrm{TP}(\kappa^{++})\) holds. Here, the authors show, assuming the existence of a strong cardinal \(\kappa\) and a measurable cardinal above it, that there is a model in which \(\kappa\) is a singular strong limit cardinal of any given cofinality and \(\mathrm{TP}(\kappa^{++})\) holds. The forcing used for the construction is Magidor forcing.