Journal of Symbolic Logic 60 (1):74 - 102 (1995)

Let T be a complete o-minimal extension of the theory of real closed fields. We characterize the convex hulls of elementary substructures of models of T and show that the residue field of such a convex hull has a natural expansion to a model of T. We give a quantifier elimination relative to T for the theory of pairs (R, V) where $\mathscr{R} \models T$ and V ≠ R is the convex hull of an elementary substructure of R. We deduce that the theory of such pairs is complete and weakly o-minimal. We also give a quantifier elimination relative to T for the theory of pairs (R, N) with R a model of T and N a proper elementary substructure that is Dedekind complete in R. We deduce that the theory of such "tame" pairs is complete
Keywords Quantifier elimination   $T$-convexity   $o$-minimal theories   tame pairs   valued fields   polynomially bounded theories
Categories (categorize this paper)
DOI 10.2307/2275510
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,688
Through your library

References found in this work BETA

Real Closed Rings II. Model Theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
Expansions of the Real Field with Power Functions.Chris Miller - 1994 - Annals of Pure and Applied Logic 68 (1):79-94.
Model Completeness Results for Elliptic and Abelian Functions.Ricardo Bianconi - 1991 - Annals of Pure and Applied Logic 54 (2):121-136.

Add more references

Citations of this work BETA

Generic Derivations on O-Minimal Structures.Antongiulio Fornasiero & Elliot Kaplan - forthcoming - Journal of Mathematical Logic:2150007.
Pseudo Completions and Completions in Stages of o-Minimal Structures.Marcus Tressl - 2006 - Archive for Mathematical Logic 45 (8):983-1009.
O-Minimal Residue Fields of o-Minimal Fields.Jana Maříková - 2011 - Annals of Pure and Applied Logic 162 (6):457-464.
The Elementary Theory of Dedekind Cuts in Polynomially Bounded Structures.Marcus Tressl - 2005 - Annals of Pure and Applied Logic 135 (1-3):113-134.
Non-Archimedean Stratifications of Tangent Cones.Erick García Ramírez - 2017 - Mathematical Logic Quarterly 63 (3-4):299-312.

View all 9 citations / Add more citations

Similar books and articles

T-Convexity and Tame Extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Definability of Types, and Pairs of o-Minimal Structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Quantifier Elimination in Tame Infinite P-Adic Fields.Ingo Brigandt - 2001 - Journal of Symbolic Logic 66 (3):1493-1503.
On Dedekind Complete o-Minimal Structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Some Model Theory for Almost Real Closed Fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
T-Convexity and Tame Extensions II.Lou Van Den Dries - 1997 - Journal of Symbolic Logic 62 (1):14 - 34.
Correction to "T-Convexity and Tame Extensions II".Lou Van Den Dries - 1998 - Journal of Symbolic Logic 63 (4):1597 -.
Dependent Pairs.Ayhan Günaydin & Philipp Hieronymi - 2011 - Journal of Symbolic Logic 76 (2):377 - 390.


Added to PP index

Total views
66 ( #144,268 of 2,349,559 )

Recent downloads (6 months)
4 ( #187,020 of 2,349,559 )

How can I increase my downloads?


My notes