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