Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910712043929600 |
|---|---|
| author | Benhamou, Tom Sinapova, Dima |
| author_facet | Benhamou, Tom Sinapova, Dima |
| contents | 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_{ω_1}$, answering a question of Ben-Neria, Hayut, and Unger: We prove from the existence of uncountably many supercompact cardinals the consistency of $\aleph_{ω_1}$ is strong limit together with $2^{\aleph_{ω_1}}>\aleph_{ω_1+1}$ and every stationary set of $\aleph_{ω_1+1}$ reflects. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_09048 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$ Benhamou, Tom Sinapova, Dima Logic 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_{ω_1}$, answering a question of Ben-Neria, Hayut, and Unger: We prove from the existence of uncountably many supercompact cardinals the consistency of $\aleph_{ω_1}$ is strong limit together with $2^{\aleph_{ω_1}}>\aleph_{ω_1+1}$ and every stationary set of $\aleph_{ω_1+1}$ reflects. |
| title | Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$ |
| topic | Logic |
| url | https://arxiv.org/abs/2411.09048 |