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 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  
  • Definability of types and VC density in differential topological fields.Françoise Point - 2018 - Archive for Mathematical Logic 57 (7-8):809-828.
    Given a model-complete theory of topological fields, we considered its generic differential expansions and under a certain hypothesis of largeness, we axiomatised the class of existentially closed ones. Here we show that a density result for definable types over definably closed subsets in such differential topological fields. Then we show two transfer results, one on the VC-density and the other one, on the combinatorial property NTP2.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Topological fields with a generic derivation.Pablo Cubides Kovacsics & Françoise Point - 2023 - Annals of Pure and Applied Logic 174 (3):103211.
    Download  
     
    Export citation  
     
    Bookmark   1 citation