Switch to: Citations

Add references

You must login to add references.
  1. $t$-convexity And Tame Extensions.Lou van den Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74-102.
    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 $$ where $\mathscr{R} \models T$ and $V \neq \mathscr{R}$ is the convex hull of an elementary substructure of $\mathscr{R}$. We deduce that (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)Paires de structures o-minimales.Yerzhan Baisalov & Bruno Poizat - 1998 - Journal of Symbolic Logic 63 (2):570-578.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations