Switch to: References

Add citations

You must login to add citations.
  1. Further notes on cell decomposition in closed ordered differential fields.Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):100-110.
    In [T. Brihaye, C. Michaux, C. Rivière, Cell decomposition and dimension function in the theory of closed ordered differential fields, Ann. Pure Appl. Logic .] the authors proved a cell decomposition theorem for the theory of closed ordered differential fields which generalizes the usual Cell Decomposition Theorem for o-minimal structures. As a consequence of this result, a well-behaving dimension function on definable sets in CODF was introduced. Here we continue the study of this cell decomposition in CODF by proving three (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Topological differential fields and dimension functions.Nicolas Guzy & Françoise Point - 2012 - Journal of Symbolic Logic 77 (4):1147-1164.
    We construct a fibered dimension function in some topological differential fields.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Generic derivations on o-minimal structures.Antongiulio Fornasiero & Elliot Kaplan - 2020 - Journal of Mathematical Logic 21 (2):2150007.
    Let T be a complete, model complete o-minimal theory extending the theory RCF of real closed ordered fields in some appropriate language L. We study derivations δ on models ℳ⊧T. We introduce the no...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Topological fields with a generic derivation.Pablo Cubides Kovacsics & Françoise Point - 2023 - Annals of Pure and Applied Logic 174 (3):103211.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Strong density of definable types and closed ordered differential fields.Quentin Brouette, Pablo Cubides Kovacsics & Françoise Point - 2019 - Journal of Symbolic Logic 84 (3):1099-1117.
    The following strong form of density of definable types is introduced for theoriesTadmitting a fibered dimension functiond: given a modelMofTand a definable setX⊆Mn, there is a definable typepinX, definable over a code forXand of the samed-dimension asX. Both o-minimal theories and the theory of closed ordered differential fields are shown to have this property. As an application, we derive a new proof of elimination of imaginaries for CODF.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A nullstellensatz and a positivstellensatz for ordered differential fields.Quentin Brouette - 2013 - Mathematical Logic Quarterly 59 (3):247-254.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark