Dense linear orderings isomorphism First of all the definition: A dense linear order is a $\{<\}$-structure in which the following formulas are valid:

Question: How can I prove that any two countable DLO's (dense linear order) are isomorph?
Hint (from my logic book): Let $M$ and $N$ be two countable DLOs. Now we should somehow be able to proof that every partial finite isomorphism $f:M\rightarrow N$ (what is the definition for a partial iso.?) can be continued to a finite partial isomorphism $f':M\rightarrow N$ which contains a given element from $M$ (or $N$) in the domain (range). Using this we can make enumerations from $M$ and $N$ and construct an isomorphism.
 A: To understand the hint first recall that a partial isomorphism is a function from a subset of $M$ to a subset of $N$ which is an isomorphism of the induced substructres; i.e. bijective and order-isomorphism.
Now to show that you can always extend by one more step, suppose that $f$ was a partial isomorphism between two finite subsets, $x_1,\ldots,x_k\in M$ and $y_1\ldots y_k\in N$, such that $f(x_i)=y_i$. We may assume that $x_1<x_2<\ldots<x_k$.
Let $x\in M$ be a point distinct of all the $x_i$. If $x_k<x$ then we simply find $y\in N$ such that $y_k<y$ (since the orders are dense and without endpoints we can do that), and define $f'=f\cup\{\langle x,y\rangle\}$. Easily this is a partial isomorphism; and similarly if $x<x_1$ we find $y<y_1$ and do the same.
Otherwise there is some $i<k$ such that $x_i<x<x_{i+1}$. Since the order on $N$ is dense there is some $y\in N$ such that $y_i<y<y_{i+1}$. Simply extend $f$ to $f'$ as before, by setting $f'(x)=y$ and $f'(x_i)=y_i$.
In all cases it is easily checked that the result is a partial isomorphism. The proof of extending the function by a point from $N$ is the same by noting that $f^{-1}$ is a partial isomorphism in the other direction (so now we again extend the domain).

Now you fix some enumeration of the two DLOs and simply set $f_0(x_0)=y_0$; and then continue by induction each time carefully adding a point from the domain and then a point from the range.
