Abstract
Motivated by a question from a recent paper by Gilton, Levine and Stejskalová, we obtain a new characterization of the ideal J[κ], from which we confirm that κ-Souslin trees exist in various models of interest. As a corollary we get that for every integer n such that b<2ℵn=ℵn+1, if □(ℵn+1) holds, then there exists an ℵn+1-Souslin tree.
| Original language | English |
|---|---|
| Article number | 103055 |
| Journal | Annals of Pure and Applied Logic |
| Volume | 173 |
| Issue number | 2 |
| DOIs | |
| State | Published - 1 Feb 2022 |
| Externally published | Yes |
Keywords
- Souslin tree
- square
- xbox
ASJC Scopus subject areas
- Logic