Stationary Reflection and the Failure OF SCH at $\aleph_{\omega_1}$

Abstract

Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We prove from the existence of uncountably many supercompact cardinals the consistency of $\aleph_{\omega_1}$ is strong limit together with $2^{\aleph_{\omega_1}}>\aleph_{\omega_1+1}$ and every stationary set of $\aleph_{\omega_1+1}$ reflects.