Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$

Tom Benhamou,Dima Sinapova
2024-11-14
Abstract:Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We prove from the existence of uncountably many supercompact cardinals the consistency of $\aleph_{\omega_1}$ is strong limit together with $2^{\aleph_{\omega_1}}>\aleph_{\omega_1+1}$ and every stationary set of $\aleph_{\omega_1+1}$ reflects.
Logic
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about cardinal arithmetic problems in set theory. Specifically, it is about simultaneously achieving stationary reflection and the failure of the Singular Cardinal Hypothesis (SCH) under specific conditions. More specifically, the authors explore how to construct a model at the cardinal $\aleph_{\omega_1}$, in which: - $\aleph_{\omega_1}$ is a strong limit cardinal. - $2^{\aleph_{\omega_1}}>\aleph_{\omega_1 + 1}$, that is, SCH fails at $\aleph_{\omega_1}$. - Every stationary subset of $\aleph_{\omega_1 + 1}$ has the reflection property. This problem originates from an open problem proposed by Ben - Neria, Hayut and Unger. They asked whether it is possible to achieve the above conditions at $\aleph_{\omega_1}$ while satisfying stationary reflection. ### Background and Motivation 1. **Stationary Reflection**: Stationary reflection is a compactness property, which indicates that a "sufficiently large" set also has a "sufficiently large" part in its initial segments. For inaccessible cardinals and successors of odd cardinals, this reflection property is particularly important. 2. **Singular Cardinal Hypothesis (SCH)**: SCH is an analogue of CH (Continuum Hypothesis) on singular cardinals. Early research shows that the failure of SCH requires the existence of large cardinals, and for singular cardinals with uncountable cofinality, the failure of SCH is more complicated. 3. **Challenge**: At a singular cardinal such as $\aleph_{\omega_1}$, simultaneously achieving stationary reflection and the failure of SCH is very challenging because these two properties are essentially opposite: stationary reflection is a compactness property, while the failure of SCH is a non - compactness phenomenon. ### Main Contribution By constructing a new forcing extension, the authors prove that the consistency of the above conditions can be deduced from the existence of uncountably many super - compact cardinals. This result answers the question raised by Ben - Neria, Hayut and Unger, and provides a new perspective for understanding the arithmetic properties of singular cardinals. ### Method Overview The authors adopt a method based on Sharon's original method, combining Prikry - type forcing and Magidor - Radin - type iterative methods. The specific steps include: 1. Use Prikry - type forcing to destroy SCH. 2. Ensure that stationary reflection holds through Magidor - Radin - type iterative methods. 3. Deal with potentially non - reflecting stationary sets, ensure that all non - reflecting stationary sets are "fragile", and finally eliminate them. This method not only solves the given problem but also provides valuable tools and ideas for further research on the arithmetic properties of singular cardinals.