Bounded stationary reflection (Q2789882)

Let \(\kappa\) be a regular uncountable cardinal, \(S\) a stationary subset of \(\kappa\), and \(\beta<\kappa\) an ordinal such that \(\text{cf}(\beta)>\omega\). \(S\) is said to \textit{reflect} at \(\beta\) if \(S\cap\beta\) is stationary in \(\beta\). Further, \(S\) \textit{reflects} if it reflects at some \(\beta<\kappa\), and \(\text{Refl}(\kappa)\) holds if every stationary subset of \(\kappa\) reflects. One more bit of notation: if \(\lambda<\kappa\) are cardinals with \(\lambda\) regular, then \(S_{\lambda}^{\kappa}= \{\alpha<\kappa\mid \text{cf}(\alpha)=\lambda\}\).NEWLINENEWLINEThis article is concerned with stationary reflection at successors of singular cardinals. More to the point, the authors seek answers to questions about the cofinality of ordinals at which stationary sets reflect.NEWLINENEWLINEFor \(\mu\) a singular cardinal, \textit{bounded stationary reflection} is said to hold at \(\mu^{+}\) if \(\text{Refl}(\mu^{+})\) holds but there is a stationary \(S\subseteq\mu^{+}\) and a \(\lambda<\mu\) such that \(S\) does not reflect at any ordinal in \(S_{\geq\lambda}^{\mu^{+}}\). The authors show that bounded stationary reflection cannot hold at \(\aleph_{\omega+1}\).NEWLINENEWLINEIn their main result, assuming that there are sufficiently many super compact cardinals, they produce a model via a forcing construction in which bounded stationary reflection holds at many singular cardinals.NEWLINENEWLINETheorem: Assume there is a proper class of super compact cardinals and \(\mathrm{GCH}\) holds. Then there is a forcing extension in which, for every singular cardinal \(\mu>\aleph_\omega\) that is not a cardinal fixed point, every stationary subset of \(\mu^{+}\) reflects, but there is a stationary \(S\subseteq S_{\omega}^{\mu^{+}}\) such that \(S\) does not reflect at any ordinal \(\beta\in S_{\geq\aleph_{\omega+1}}^{\mu^{+}}\).