It is well known that for every infinite cardinal $\kappa$ the number of non-isomorphic total orders of cardinality $\kappa$ is $2^\kappa$. Who first proved this, and in what context? Was it proved for $\kappa=\aleph_0$ first, and then for uncountable $\kappa$, or for all $\kappa$ right away?
number of linear orders
4
$\begingroup$
reference-request
set-theory
order-theory
model-theory
-
0(continued) For example, one can choose $A$ to be $\omega+1$, and $B$ the converse ordering. From $L_S$ one can recover $S$ and $\kappa\setminus S$ by only looking at the non-isolated points in $L_S$, and checking whether they have an upper or lower neighbor. Or, as David Marker suggests in an exercise of his model theory book, let $A$ be $\mathbb Q + 1 + 1 + \mathbb Q$ (a copy of the rationals, followed by 2 discrete points, followed by another copy of the rationals), and let $B=\mathbb Q + 1 + 1 + 1 + \mathbb Q$. – 2012-02-20
1 Answers
4
I hadn't noticed this question before, Martin Goldstern just posted it in MathOverflow. My answer is here.
In short, the result for $\kappa=\aleph_0$ is due to Cantor (at least $2^{\aleph_0}$) and to Bernstein and Hausdorff, in 1901, independently (at most $2^{\aleph_0}$).
The general result is due to Hausdorff, and appears in Über eine gewisse Art geordneter Mengen, Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Classe 53 (1901), 460-475. (I give additional details and references at the link above.)