A five element basis for the uncountable linear orders

Abstract

In this paper I will show that it is relatively consistent with the usual axioms of mathematics (ZFC) together with a strong form of the axiom of infinity (the existence of a supercompact cardinal) that the class of uncountable linear orders has a five element basis. In fact such a basis follows from the Proper Forcing Axiom, a strong form of the Baire Category Theorem. The elements are X, omega_1, omega_1^*, C, C^* where X is any suborder of the reals of cardinality aleph_1 and C is any Countryman line. This confirms a longstanding conjecture of Shelah.

21 pages

References in corpus (1)

• Set mapping reflection

Cited by in corpus (6)

• A solution to the L space problem and related ZFC constructions
• All automorphisms of the Calkin algebra are inner
• The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem
• Forcing consequences of PFA together with the continuum large
• Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$
• Piecewise convex embeddability on linear orders