Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It is "a well-known theorem of Cantor", said Sierpinski (circa 1920), that every countable total order can be imbedded in the rationals, and he proceeds to demonstrate that, assuming the continuum hypothesis, it is possible to construct a similar "universal order" of cardinal $\aleph_1$. I have two questions : 1) Where did Cantor prove his theorem 2) Can CH be weakened in the previous result ? For reference, Sierpinski construct an ordering on binary sequences indexed by countable ordinals (up to some ordinal $<\omega_1$), having the desired property than any countable Dedekind cut is separated by some element ; this is actually the same order than the one on surreal numbers born before day $\omega_1$ (as easily shown by the Gondor construction)

share|improve this question
add comment

2 Answers

up vote 6 down vote accepted

Concerning question 2:

a. It is consistent that $2^{\aleph_0}= \aleph_2$ and there is a universal order of size $\aleph_1$.

b. It is consistent that $2^{\aleph_0}= \aleph_2$ and there is no universal order of size $\aleph_1$.

See Kojman+Shelah, JSL. preprint

share|improve this answer
In his 1895/97 papers "Beiträge zur Begründung der transfiniten Mengenlehre", Cantor proved that any two countable dense orders without endpoints are isomorphic, according to this article by Charles Silver. The method used by Cantor also shows that every countable linear order embeds into the rationals. I do not have Cantor's paper here, so I am not sure if Cantor stated this result. –  Goldstern Jul 11 '12 at 22:50
add comment

Sorry, almost all pertinent answers (even with the exact reference of the Sierpinski article) were given in the article Universal order type ; so the only question I have left is "where did Cantor state it ?"

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.