Switch to: References

Add citations

You must login to add citations.
  1. Model theory of differential fields with finite group actions.Daniel Max Hoffmann & Omar León Sánchez - 2021 - Journal of Mathematical Logic 22 (1).
    Let G be a finite group. We explore the model-theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential fie...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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