MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
The rationals obviously satisfy the extension property of Fraisse' limits. This, and the fact that they are countable, should be enough! – damiano Aug 3 '10 at 10:54

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.

share|cite|improve this answer

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.

share|cite|improve this answer
(Typo in the last line: "... given a finite partial map ...") – François G. Dorais Aug 3 '10 at 18:34
Oh right, that should be a finite partial map... edited for the typo, thanks. – James Freitag Aug 4 '10 at 7:31

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.