On O-Minimal Expansions of Archimedean Ordered Groups
Laskowski, Michael C. ; Steinhorn, Charles
J. Symbolic Logic, Tome 60 (1995) no. 1, p. 817-831 / Harvested from Project Euclid
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.
Publié le : 1995-09-14
Classification: 
@article{1183744807,
     author = {Laskowski, Michael C. and Steinhorn, Charles},
     title = {On O-Minimal Expansions of Archimedean Ordered Groups},
     journal = {J. Symbolic Logic},
     volume = {60},
     number = {1},
     year = {1995},
     pages = { 817-831},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744807}
}
Laskowski, Michael C.; Steinhorn, Charles. On O-Minimal Expansions of Archimedean Ordered Groups. J. Symbolic Logic, Tome 60 (1995) no. 1, pp.  817-831. http://gdmltest.u-ga.fr/item/1183744807/