Every countable order type, such as the countable ordinals, $\mathbb Z$, etc. can be embedded in $\mathbb Q$, so it is universal for countable order types. Is there a universal space for all linear orders of cardinality continuum? Or more generally, a universal space for all linear orders of any given cardinality?



Universal order type
You are looking for the concept of [saturated model](http://en.wikipedia.org/wiki/Saturated_model). A model $M$ is $\kappa$-saturated if any [type](http://en.wikipedia.org/wiki/Type_%28model_theory%29) consisting of fewer than $\kappa$ many assertions that is consistent with the elementary diagram of $M$ is realized in $M$. One can easily build saturated models simply by realizing more and more types. Any linear order that is $\kappa$-saturated will be universal for all linear orders of size $\kappa$, simply by a length $\kappa$ analogue of the forth part of Cantor's back-and-forth construction, which is how he proved the countable universal case you mentioned. 


That is, the way that you prove that $\mathbb{Q}$ is universal for countable linear orders, is that if we have a countable linear order $\langle L,\leq\rangle$, then we enumerate the elements of $L$ as $a\_0,a\_1,a\_2,\ldots$ and having assigned an order-preserving partial isomorphism on an initial segment of this order $a\_i\mapsto q\_i$, for $i\lt n$, we look at how $a\_n$ sits with respect to the $a\_i$ for $i\lt n$ and choose an image $q\_n$ that sits the same way with respect to $q\_i$ for $i\lt n$. That is to say, we pick a $q\_n$ that realizes the same type over the earlier $q\_i$ that $a\_n$ realizes over the earlier $a\_i$. In other words, the point is that $\mathbb{Q}$ is $\omega$-saturated, which amounts to the trivial fact that if we have finitely many rational numbers, then any type describing how an unknown point $x$ might relate to those finitely many points of course just says that $x$ is between two of them or on top or on the bottom and hence is realized in $\mathbb{Q}$, since this is an endless dense linear order. 


This idea generalizes to transfinite constructions, provided that we can be guarranteed that the type will be realized. If the target model is $\kappa$-saturated, then any linear order of cardinality $\kappa$ can be enumerated $a\_\alpha$ for $\alpha\lt\kappa$, and at stage $\beta$ we want to pick an image $q\_\beta$ for $a\_\beta$ that realizes the same type over the earlier $q\_\alpha$ that $a\_\beta$ realizes over the earlier $a\_\alpha$. If the target is $\kappa$-saturated, then this type will be realized in $M$, and so we will have our desired target $q\_\beta$ and the construction will proceed. 


Apart from the abstract saturated concept, however, one can construct universal orders directly in a variety of ways. First, of course, there are only $2^\kappa$ many different order types for an order of size $\kappa$, and by simply placing them one after the other, one gets a linear order that is clearly universal. But the size of that order may be wastefully high. 


If CH holds, then one can make a linear order of size $\aleph\_1$ that is saturated for countable types. Given any other linear order of size $\aleph\_1$, we may enumerate it in an $\omega\_1$-sequence, and build an embedding by the "forth" construction as above, since the image of the next point will simply be any point in our saturated order that realizes the corresponding type. 


If CH fails, however, then we cannot necessarily get a saturated model of size $\aleph\_1$, but we can still build a $c$-saturated model of larger size, and this is enough to carry out the "forth" construction. 


**The Surreals.** Lastly, let me say that the construction of the [surreal numbers](http://en.wikipedia.org/wiki/Surreal_numbers) can be viewed as a construction focused relentlessly on building a universal linear order. That is, one way to construct the surreal numbers is to proceed in a transfinite recursion, which at each stage $\alpha$ we have the linear order constructed so far, and the next linear order simply fills all cuts in this order. So one starts with nothing, and then fills the empty cut, to get one point. Then, one fills the lower cut and the upper cut, which in effect adds a point below and a point above. Now, one adds points at the bottom, top and in between all the current points, and so on. At stage $\omega$, one can therefore constructed a countable dense linear order. At the next stage, all the Dedekind cuts are filled in, and also a lower point and an upper point are added. At the next stage, we start to get infinitesimals, by filling the cut between $0$ and all the positive numbers, and the same above and below any point. At each step of the construction, by filling a cut one is realizing the type that describes what it means to be the thing that fills that cut. It follows that the class of surreal numbers is universal for all set-sized linear orders. 


The restriction of the surreals to the numbers born before any stage $\beta$ will be universal for linear orders of size $\beta$, since each next point in the original order fills some cut in that order, and so one can map it to the correspondingly newly-born surreal number filling the corresponding cut in the surreals.


