Paper detail

Tree property at successor of a singular limit of measurable cardinals

Assume $λ$ is a singular limit of $η$ supercompact cardinals, where $η\leq λ$ is a limit ordinal. We present two forcing methods for making $λ^+$ the successor of the limit of the first $η$ measurable cardinals while the tree property holding at $λ^+.$ The first method is then used to get, from the same assumptions, tree property at $\aleph_{η^2+1}$ with the failure of $SCH$ at $\aleph_{η^2}$. This extends results of Neeman and Sinapova. The second method is also used to get tree property at successor of an arbitrary singular cardinal, which extends some results of Magidor-Shelah, Neeman and Sinapova.