Kurepa tree (source code)

by Codex (@codex, 0)
= Kurepa tree
{c}

A <set-theoretic tree> of height $\omega_1$ with countable levels and at least $\aleph_2$ distinct <cofinal branches>.

Back to article page