Stationary reflection using ancestrally forced conditions

Inbar Oren

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…