Journal of Symbolic Logic

On O-Minimal Expansions of Archimedean Ordered Groups

Michael C. Laskowski and Charles Steinhorn

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


We study o-minimal expansions of Archimedean totally ordered groups. We first prove that any such expansion must be elementarily embeddable via a unique (provided some nonzero element is 0-definable) elementary embedding into a unique o-minimal expansion of the additive ordered group of real numbers $\mathscr{R}$. We then show that a definable function in an o-minimal expansion of $\mathscr{R}$ enjoys good differentiability properties and use this to prove that an Archimedean real closed field is definable in any nonsemilinear expansion of $\mathscr{R}$. Combining these results, we obtain several restrictions on possible o-minimal expansions of arbitrary Archimedean ordered groups and in particular of the rational ordered group.

Article information

J. Symbolic Logic, Volume 60, Issue 3 (1995), 817-831.

First available in Project Euclid: 6 July 2007

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier



Laskowski, Michael C.; Steinhorn, Charles. On O-Minimal Expansions of Archimedean Ordered Groups. J. Symbolic Logic 60 (1995), no. 3, 817--831.

Export citation