A direct proof of the five element basis theorem
Abstract
We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of notion of saturation of Aronszajn trees considered by Koenig, Larson, Moore and Velickovic and simplifies the original proof of Moore.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.