arXiv:1012.0596 Abstract | arXiv Analytics

arXiv:1012.0596 [math.LO]Abstract References Reviews Resources

A direct proof of the five element basis theorem

Published 2010-12-02, updated 2016-03-01Version 2

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.

Categories: math.LO

Subjects: 03E35, 03E75, 06A05, 03E35, 03E75, 06A05, 03E02

Keywords: element basis theorem, direct proof, aronszajn trees, original proof, uncountable linear orders

Related articles: Most relevant | Search more

arXiv:math/0501525 [math.LO] (Published 2005-01-28)

A five element basis for the uncountable linear orders

Justin Tatch Moore

arXiv:1605.05489 [math.LO] (Published 2016-05-18)

Aronszajn trees, square principles, and stationary reflection

Chris Lambie-Hanson

arXiv:1604.01564 [math.LO] (Published 2016-04-06)

Diagonal supercompact Radin forcing