Bounded stationary reflection
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^{+}}\).
- Reflecting stationary sets and successors of singular cardinals
- Weak square and stationary reflection
- Patterns of stationary reflection
- Nonreflecting stationary sets in \(\mathcal P_{\kappa}\lambda\)
- On stationary reflection principles
- Bounded stationary reflection. II.
- Full reflection of stationary sets below ℵω
- scientific article; zbMATH DE number 1795296 (Why is no real title available?)
- Partitioning a reflecting stationary set
- THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM
- Reflection implies the SCH
- Stationary reflection in extender models
- Covering theorems for the core model, and an application to stationary set reflection
- Dense non-reflection for stationary collections of countable sets
This page was built for publication: Bounded stationary reflection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2789882)
