The Journal of Symbolic Logic

Research Article

On o-minimal expansions of Archimedean ordered groups

Michael C. Laskowskia1 and Charles Steinhorna2

a1 Department of Mathematics, University of Maryland, College Park, Maryland 20742, E-mail: mcl@math.umd.edu

a2 Department of Mathematics, Vassar College, Poughkeepsie, New York 12601, E-mail: steinhorn@vassar.edu

Abstract

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 . We then show that a definable function in an o-minimal expansion of enjoys good differentiability properties and use this to prove that an Archimedean real closed field is definable in any nonsemilinear expansion of . 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.

(Received June 28 1994)

(Revised September 19 1994)