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 - Feb 2022 |
Bibliographical note
Publisher Copyright:© 2021 Elsevier B.V.
Funding
The author was partially supported by the Israel Science Foundation (grant agreement 2066/18) and by the European Research Council (grant agreement ERC-2018-StG 802756).
| Funders | Funder number |
|---|---|
| Horizon 2020 Framework Programme | 802756 |
| European Commission | |
| Israel Science Foundation | 2066/18 |
Keywords
- Souslin tree
- square
- xbox