Classification of dense and complete linear orders

391 Views Asked by At

Question. Is there a decent classification theorem for linear orders satisfying all three of:

  • Dense. Given a pair of elements $y,x$ with $y>x$, there exists $k$ satisfying $y>k>x$.

  • Complete. Given a non-empty subset $A$, if $A$ is bounded above, then $A$ has a least upper bound.

  • Endless. There is neither a greatest element nor a least element.

Comments:

1

There are 1 best solutions below

0
On BEST ANSWER

On the basis of Eric's comment: no.

In particular, Suslin's problem asks whether or not there exists a non-empty linearly ordered set $R$ that isn't isomorphic to $\mathbb{R}$ satisfying the 3 conditions stated in my question together with the condition: "You can't cram more than countably many disjoint non-empty open intervals into $R$." This is independent of ZFC. Therefore, it seems that no truly useful classification can exist without assuming further axioms.