a1 Department of Mathematics, University of Maryland, College Park, Maryland 20742, E-mail: email@example.com
a2 Department of Mathematics, Vassar College, Poughkeepsie, New York 12601, E-mail: firstname.lastname@example.org
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)