The super tree property at the successor of a singular

Sherwood Hachtman, Dima Sinapova

For an inaccessible cardinal $\kappa$, the super tree property (ITP) at $\kappa$ holds if and only if $\kappa$ is supercomact. However, just like the tree property, it can hold at successor cardi…