Linear Orders and the Real Line

Trey Smith, Aksel Ozer

Definitions of dense linear orders (with/without endpoints), separable linear orders, complete linear orders, the countable chain condition for linear orders, a Suslin line/Suslin…