Hodges in his Shorter Model Theory promises to show "in what sense the finite linear orderings 'tend to' the rationals rather than, say, the ordering of the integers" (p. 160). After going through his proof of Fraissé's Theorem I did understand that there is a unique "Fraissé limit", but nonetheless I could not see that it is the ordering of the rationals instead of the integers.

Could anyone please help me to see why
the Fraissé limit of the finite linear
orderings is the ordering of the
rationals?

2 Answers
2

The reason that the finite linear orders don't tend to an order isomorphic to the integers is the following: Given a finite linear $A$ order with at least two elements, there are linear orders extending $A$ that have additional elements between two elements of $A$.
This is (essentially) why the order that you get in the limit is dense rather than scattered
as the integers.
Similarly, the limit won't have endpoints. And it will be countable. This implies that it is isomorphic to the rationals.

First, some books (maybe Hodge's, I don't have it right now) call the class of all finite structures embeddable in a structure, $\mathcal M,$ the Age of $\mathcal M.$ Sometimes this definition is changed to finitely generated rather than finite, like if say you wanted to talk about abelian groups. But, since your language is relational, that does not matter. Any Age satisfies some model theoretic properties, which are likely in Hodge's book, Hereditary and Joint Embedding (in fact Fraisse proved that these were necessary and sufficient conditions for being an Age). If the class you are considering is an Age and also has the amalgamation property, then it is true that there is a unique countable homogeneous model with that Age.

So, we should get back to your question. It is clear that the class of finite linear orderings has the amalgamation property. By the previous paragraph, you need only show that the rationals are a countable structure with the Age being the class of all finite linear orderings and that the rationals are homogeneous. So, the only potentially difficult thing is to prove homogeneity. To do this, you need only show that given a finite partial map $f: \mathbb Q \rightarrow \mathbb Q$ which respects the order can be extended to an isomorphism.