Switch to: References

Add citations

You must login to add citations.
  1. 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 let T be its theory. If T is 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 theory T is 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  
  • Henselian expansions of NIP fields.Franziska Jahnke - 2023 - Journal of Mathematical Logic 24 (2).
    Let K be an NIP field and let v be a Henselian valuation on K. We ask whether [Formula: see text] is NIP as a valued field. By a result of Shelah, we know that if v is externally definable, then [Formula: see text] is NIP. Using the definability of the canonical p-Henselian valuation, we show that whenever the residue field of v is not separably closed, then v is externally definable. In the case of separably closed residue field, we (...)
    Download  
     
    Export citation  
     
    Bookmark