Abstract
Schimmerling asked whether □λ∗+GCH entails the existence of a λ+-Souslin tree, for a singular cardinal λ. We provide an affirmative answer under the additional assumption that there exists a non-reflecting stationary subset of E≠cf(λ)λ+. As a bonus, the outcome λ+-Souslin tree is moreover free.
Original language | English |
---|---|
Pages (from-to) | 525-561 |
Number of pages | 37 |
Journal | Order |
Volume | 36 |
Issue number | 3 |
DOIs | |
State | Published - 1 Nov 2019 |
Externally published | Yes |
Keywords
- Ascending path
- Complete tree
- Free Souslin tree
- Microscopic approach
- Non-reflecting stationary set
- Parameterized proxy principle
- Postprocessing function
- Specializable Souslin tree
- Weak square
ASJC Scopus subject areas
- Algebra and Number Theory
- Geometry and Topology
- Computational Theory and Mathematics