Full Souslin trees at small cardinals
Logic
2024-03-01 v2
Abstract
A -tree is said to be full if each of its limit levels omits no more than one potential branch. Kunen asked whether a full -Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit Mahlo cardinal. Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be many full -trees such that the product of any countably many of them is an -Souslin tree.
Cite
@article{arxiv.2308.00299,
title = {Full Souslin trees at small cardinals},
author = {Assaf Rinot and Shira Yadai and Zhixing You},
journal= {arXiv preprint arXiv:2308.00299},
year = {2024}
}
Comments
Relaxed the hypothesis of Theorem C. Added Proposition 2.3