Shelah's five-element basis conjecture for uncountable linear orders

From papers

Let XX be a set of reals of cardinality 1\aleph_1, let ω1\omega_1 be the first uncountable ordinal, let ω1\omega_1^* be its converse order, and let CC be a Countryman line, meaning an uncountable linear order whose square is the union of countably many chains under the coordinate-wise partial order. Write CC^* for the converse of CC. Shelah's five-element basis conjecture. Under the Proper Forcing Axiom, the orders XX, ω1\omega_1, ω1\omega_1^*, CC, and CC^* form a five-element basis for the uncountable linear orders whenever XX is a set of reals of cardinality 1\aleph_1 and CC is a Countryman line. The conjecture concerns the classification of uncountable linear orders by embeddability; the source explains that Countryman lines exist in ZFC and that the five-element basis was viewed as the natural formulation after the development of proper forcing and the Proper Forcing Axiom.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Justin Tatch Moore, “A five element basis for the uncountable linear orders”, arXiv:math/0501525 (2005).

Additional references

2 papers in this index state this conjecture (2005). The statement above is taken from the most recent of them; the others are arXiv:math/0501524.

Solutions 0

No solutions have been posted yet.