A direct proof of the five element basis theorem

Boban Velickovic, Giorgio Venturi

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 saturati…