On o-minimal expansions of archimedean ordered groups

Journal of Symbolic Logic 60 (3):817-831 (1995)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,400

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Fusing O-Minimal Structures.A. J. Wilkie - 2005 - Journal of Symbolic Logic 70 (1):271 - 281.
Definable sets in Boolean ordered o-minimal structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Transfer methods for o-minimal topology.Alessandro Berarducci & Margarita Otero - 2003 - Journal of Symbolic Logic 68 (3):785-794.
Definable Open Sets As Finite Unions of Definable Open Cells.Simon Andrews - 2010 - Notre Dame Journal of Formal Logic 51 (2):247-251.
What is o-minimality?Harvey M. Friedman - 2008 - Annals of Pure and Applied Logic 156 (1):59-67.
Expansions of o-minimal structures by fast sequences.Harvey Friedman & Chris Miller - 2005 - Journal of Symbolic Logic 70 (2):410-418.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.

Analytics

Added to PP
2009-01-28

Downloads
21 (#543,642)

6 months
2 (#300,644)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Approximation of o-minimal maps satisfying a Lipschitz condition.Andreas Fischer - 2014 - Annals of Pure and Applied Logic 165 (3):787-802.
The elementary theory of Dedekind cuts in polynomially bounded structures.Marcus Tressl - 2005 - Annals of Pure and Applied Logic 135 (1-3):113-134.

Add more citations

References found in this work

No references found.

Add more references