Stationary reflection using ancestrally forced conditions

Abstract

We introduce a new method for obtaining models of stationary reflection at the successor of a singular cardinal of any cofinality. In particular, starting from a cardinal $\kappa$ which is ${\kappa }^{+}$-supercompact, we get a model of countable simultaneous reflection at ${\aleph }_{{\omega }_1+1}$.