Polytope model

In set theory, a Kurepa tree is a tree (T, <) of height ${\omega }_1$, each of whose levels is at most countable, and has at least ${\mathrm{\aleph }}_2$ many branches. It was named after Yugoslav mathematician Đuro Kurepa. The existence of a Kurepa tree (known as the Kurepa hypothesis) is consistent with the axioms of ZFC: As Solovay showed, there are Kurepa trees in Gödel's constructible universe. On the other hand, as Silver proved in 1971, if a strongly inaccessible cardinal is Lévy collapsed to ${\omega }_2$ then, in the resulting model, there are no Kurepa trees.

See also

• Aronszajn tree
• Suslin tree

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534