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