T-Convexity and Tame Extensions

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

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,662

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

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.

Analytics

Added to PP
2009-01-28

Downloads
73 (#163,773)

6 months
1 (#419,921)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Residue Field Domination in Real Closed Valued Fields.Clifton Ealy, Deirdre Haskell & Jana Maříková - 2019 - Notre Dame Journal of Formal Logic 60 (3):333-351.
Non-Archimedean Stratifications of Tangent Cones.Erick García Ramírez - 2017 - Mathematical Logic Quarterly 63 (3-4):299-312.
O-Minimal Residue Fields of o-Minimal Fields.Jana Maříková - 2011 - Annals of Pure and Applied Logic 162 (6):457-464.
Toward a Model Theory for Transseries.Matthias Aschenbrenner, Lou van den Dries & Joris van der Hoeven - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):279-310.

View all 14 citations / Add more citations

References found in this work

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