A NEW MODEL FOR ALL <i>C</i> -SEQUENCES ARE TRIVIAL
Abstract We construct a model in which all C -sequences are trivial, yet there exists a $\kappa $ -Souslin tree all of whose limit levels are vanishing levels. This provides an optimal combination of compactness and incompactness. It is obtained by incorporating a so-called mutually exclusive ascent path to Kunen’s 1978 forcing construction, and by analyzing a gallery of $\kappa $ -cc forcing extensions of the outcome model.
Authors
- Assaf Rinot (ORCID: https://orcid.org/0000-0001-9309-5798)
- JIACHEN YUAN
- ZHIXING YOU
Institutions
- Bar-Ilan University (IL)
Publication Details
- Journal
- Journal of Symbolic Logic
- Published
- 2026-01-29
- DOI
- https://doi.org/10.1017/jsl.2026.10183
- Primary Topic
- Nonlinear Differential Equations Analysis
- Type
- article
- Field-Weighted Citation Impact
- 0.00