Kurepa hypothesis (source code)

= Kurepa hypothesis
{c}
{title2=$\mathrm{KH}$}

= Kurepa's Hypothesis
{c}
{synonym}

There exists an $\omega_1$-tree with countable levels and at least $\aleph_2$ distinct <cofinal branches>.