加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本