A Strong Kurepa Tree
A Strong Kurepa Tree
We prove that it is consistent that there exists a Kurepa tree $T$ such that ${}^{Ï_1}2$ is a continuous image of the topological space $[T]$ consisting of all cofinal branches of $T$ with respect to the cone topologies. This result solves an open problem due to Bergfalk, Chodounský, Guzmán, and Hrušák. We also prove that any Kurepa tree with the above property contains an Aronszajn subtree.
John Krueger
数学
John Krueger.A Strong Kurepa Tree[EB/OL].(2025-07-01)[2025-07-21].https://arxiv.org/abs/2507.01133.点此复制
评论