Bounded stationary reflection. II. (Q331046)

Let \(\lambda>\omega_1\) be a regular cardinal. If \(S\subseteq\lambda\) is a stationary set and \(\alpha<\lambda\) is of uncountable cofinality, then \(S\) \textit{reflects at \(\alpha\)} if \(S\cap\alpha\) is stationary in \(\alpha\). Further, \(S\) \textit{reflects} if there is an \(\alpha<\lambda\) of uncountable cofinality such that \(S\) reflects at \(\alpha\). For \(\mu\) a singular cardinal and \(\lambda=\mu^{+}\), \(\mathrm{Refl}(\lambda)\) holds If every stationary subset of \(\lambda\) reflects. In addition, a stationary \(S\subseteq\lambda\) \textit{reflects at arbitrarily high cofinalities} if for all \(\kappa<\mu\) there is an \(\alpha<\lambda\) such that \(\mathrm{cf}(\alpha)\geq\kappa\) and \(S\) reflects at \(\alpha\). The key notion for this article is that of \textit{bounded stationary reflection}: for \(\mu\) and \(\lambda\) as above, \(\mathrm{bRefl}(\lambda)\) holds if \(\mathrm{Refl}(\lambda)\) but there is a stationary \(T\subseteq\lambda\) that does not reflect at arbitrarily high cofinalities. \textit{T. Eisworth} [in: Handbook of set theory. In 3 volumes. Dordrecht: Springer. 1229--1350 (2010; Zbl 1198.03049)] posed the question of the consistency of \(\mathrm{bRefl}(\lambda)\). The author and \textit{J. Cummings} in [Proc. Am. Math. Soc. 144, No. 2, 861--873 (2016; Zbl 1353.03053)] showed that, under the assumption of a proper class of supercompact cardinals, there is a class forcing extension in which, for every singular cardinal \(\mu>\aleph_{\omega}\) that is not a cardinal fixed point, \(\mathrm{bRefl}(\mu^{+})\) holds. Left open was the question of whether \(\mathrm{bRefl}(\mu^{+})\) holds for every singular cardinal \(\mu>\aleph_{\omega}\). The author provides a positive answer to this question and proves several variations of the theorem cited above.