Noun
Kurepa tree (plural Kurepa trees) (mathematics, set theory) A tree (T, <) of height ω1, each of whose levels is at most countable, and has at least ℵ2 branches.