Aronszajn trees and the successors of a singular cardinal (Q365680): Difference between revisions

The author proves the following result: Suppose that \(\kappa\) is a supercompact cardinal with a weakly compact cardinal above. Then, there is a forcing extension in which \(\kappa\) is a singular strong limit cardinal of cofinality \(\omega\), the Singular Cardinal Hypothesis fails at \(\kappa\), there is a bad scale at \(\kappa\), and the tree property holds at \(\kappa^{++}\).