Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Could anyone of you explain me why $(\mathbb{R},<)$ is $\omega$-saturated?

EDIT: do you know also why the theory of Boole algebras without atoms is $\omega$-categoric?

Added: The added question about Boolean algebras is at Boole algebras without atoms

share|cite|improve this question
1 – user9413 May 16 '11 at 18:50
I think you should ask your second question as a separate question. – JDH May 16 '11 at 19:31
up vote 12 down vote accepted

Your structure is an endless dense linear ordering, and this is a theory that admits elimination of quantifiers. Thus, every assertion in this language is equivalent to a quantifier-free assertion. If one has finitely many parameters, then the only possible consistent types are the assertions about how those parameters are ordered, and how the new variable $x$ fits into the resulting intervals. That is, the variable $x$ is either equal to one of them, or between two successive ones, or above all or below all of them. All such types are already realized in $\mathbb{R}$, since it has such points already for each of these possible patterns, and so the structure is $\omega$-saturated.

share|cite|improve this answer

A different approach: the theory of dense linear orderings is $\omega$-categorical.

It is a general (and easily seen) fact that if a theory is categorical in a given cardinality, the only model of this cardinality is saturated.

From that it is easy to see that if a theory is $\kappa$-categorical, then every model of the theory of cardinality at least $\kappa$ is $\kappa$-saturated (just extend the set of parameters to an elementary submodel of cardinality $\kappa$).

share|cite|improve this answer

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.