A new model for all $C$-sequences are trivial
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916681253650432 |
|---|---|
| author | Rinot, Assaf You, Zhixing Yuan, Jiachen |
| author_facet | Rinot, Assaf You, Zhixing Yuan, Jiachen |
| contents | We construct a model in which all $C$-sequences are trivial, yet there exists a $κ$-Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, and provides an optimal combination of compactness and incompactness. It is obtained by incorporating a so-called mutually exclusive ascent path to Kunen's original forcing construction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_06794 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A new model for all $C$-sequences are trivial Rinot, Assaf You, Zhixing Yuan, Jiachen Logic Primary 03E35. Secondary 03E05, 03E55 We construct a model in which all $C$-sequences are trivial, yet there exists a $κ$-Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, and provides an optimal combination of compactness and incompactness. It is obtained by incorporating a so-called mutually exclusive ascent path to Kunen's original forcing construction. |
| title | A new model for all $C$-sequences are trivial |
| topic | Logic Primary 03E35. Secondary 03E05, 03E55 |
| url | https://arxiv.org/abs/2504.06794 |