I know that any Archimedian totally ordered field embeds into the real numbers. Does this result extend to a priori partially ordered field?
A division ring is basically a noncommutative field. Does an Archimedian totally ordered division ring embed into the real numbers? What about partially ordered ones?
I do know of examples of totally ordered division rings that do not embed into the real numbers but they are all non-Archimedian.