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.
Categories: math.LO