Switch to: References

Add citations

You must login to add citations.
  1. Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
    We consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields . We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields and of C. Michaux for valued differential fields. As a corollary, we show a transfer result for the NIP property. We also give a geometrical axiomatization of that model-completion. Then, for certain differential valued fields, we extend (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Generic Derivations on Algebraically Bounded Structures.Antongiulio Fornasiero & Giuseppina Terzo - forthcoming - Journal of Symbolic Logic:1-27.
    Let${\mathbb K}$be an algebraically bounded structure, and letTbe its theory. IfTis model complete, then the theory of${\mathbb K}$endowed with a derivation, denoted by$T^{\delta }$, has a model completion. Additionally, we prove that if the theoryTis stable/NIP then the model completion of$T^{\delta }$is also stable/NIP. Similar results hold for the theory with several derivations, either commuting or non-commuting.
    Download  
     
    Export citation  
     
    Bookmark   1 citation