A Strong Kurepa Tree

John Krueger

A Strong Kurepa Tree

Logic 2025-07-03 v1

Authors: John Krueger

Abstract

We prove that it is consistent that there exists a Kurepa tree $T$ such that ${}^{\omega_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\'{y}, Guzm\'{a}n, and Hru\v{s}\'{a}k. We also prove that any Kurepa tree with the above property contains an Aronszajn subtree.

Cite

@article{arxiv.2507.01133,
  title  = {A Strong Kurepa Tree},
  author = {John Krueger},
  journal= {arXiv preprint arXiv:2507.01133},
  year   = {2025}
}