Abstract
Schimmerling asked whether square(lambda)* + GCH entails the existence of a lambda(+)-Souslin tree, for a singular cardinal lambda. We provide an affirmative answer under the additional assumption that there exists a non-reflecting stationary subset of E-not equal cf(lambda)(lambda+). As a bonus, the outcome lambda(+)-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
- Microscopic approach
- Parameterized proxy principle
- Weak square
- Postprocessing function
- Non-reflecting stationary set
- Free Souslin tree
- Specializable Souslin tree
- Complete tree
- Ascending path