T-convexity and Tame extensions
Journal of Symbolic Logic 60 (1):74 - 102 (1995)
| 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLou Van Den Dries (1998). Correction to "T-Convexity and Tame Extensions II". Journal of Symbolic Logic 63 (4):1597.
Lou Van Den Dries (1997). T-Convexity and Tame Extensions II. Journal of Symbolic Logic 62 (1):14 - 34.
Lou Van Den Dries (1997). T-Convexity and Tame Extensions II. Journal of Symbolic Logic 62 (1):14-34.
Françoise Delon & Rafel Farré (1996). Some Model Theory for Almost Real Closed Fields. Journal of Symbolic Logic 61 (4):1121-1152.
Bektur Sembiuly Baizhanov (2001). Expansion of a Model of a Weakly o-Minimal Theory by a Family of Unary Predicates. Journal of Symbolic Logic 66 (3):1382-1414.
Lou Van Den Dries & Adam H. Lewenberg (1995). T-Convexity and Tame Extensions. Journal of Symbolic Logic 60 (1):74-102.
Anand Pillay & Charles Steinhorn (1987). On Dedekind Complete o-Minimal Structures. Journal of Symbolic Logic 52 (1):156-164.
Ingo Brigandt (2001). Quantifier Elimination in Tame Infinite P-Adic Fields. Journal of Symbolic Logic 66 (3):1493-1503.
Anand Pillay (1994). Definability of Types, and Pairs of o-Minimal Structures. Journal of Symbolic Logic 59 (4):1400-1409.
Lou Van Den Dries (1998). Correction to "T-Convexity and Tame Extensions II". Journal of Symbolic Logic 63 (4):1597 -.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,473 of 548,980 )Recent downloads (6 months)1 ( #63,327 of 548,980 )How can I increase my downloads? |
My notes
Discussion
