Kurepa trees, continuous images, and perfect set properties

Abstract

Building upon work of Lücke and Schlicht, we study (higher) Kurepa trees through the lens of higher descriptive set theory, focusing in particular on various perfect set properties and representations of sets of branches through trees as continuous images of function spaces. Answering a question of Lücke and Schlicht, we prove that it is consistent with $\mathsf{CH}$ that there exist $ω_2$-Kurepa trees and yet, for every $ω_2$-Kurepa tree $T \subseteq {^{<ω_2}}ω_2$, the set $[T] \subseteq {^{ω_2}}ω_2$ of cofinal branches through $T$ is not a continuous image of ${^{ω_2}}ω_2$. We also produce models indicating that the existence of Kurepa trees is not necessary to produce closed subsets of ${^{ω_1}}ω_1$ failing to satisfy strong perfect set properties, and prove a number of consistency results regarding \emph{full} and \emph{superthin} trees.