Switch to: References

Add citations

You must login to add citations.
  1. On differential Galois groups of strongly normal extensions.Quentin Brouette & Françoise Point - 2018 - Mathematical Logic Quarterly 64 (3):155-169.
    We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological fields, which encompasses ordered or p‐valued differential fields, we find a partial Galois correspondence and we show one cannot expect more in general. In the class of ordered differential fields, using elimination of imaginaries in, we establish a relative Galois correspondence for relatively definable subgroups of the group (...)
    Download  
     
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Toward a Model Theory for Transseries.Matthias Aschenbrenner, Lou van den Dries & Joris van der Hoeven - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):279-310.
    The differential field of transseries extends the field of real Laurent series and occurs in various contexts: asymptotic expansions, analytic vector fields, and o-minimal structures, to name a few. We give an overview of the algebraic and model-theoretic aspects of this differential field and report on our efforts to understand its elementary theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   3 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  
  • 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  
  • Linearly ordered sets with only one operator have the amalgamation property.Paolo Lipparini - 2021 - Annals of Pure and Applied Logic 172 (10):103015.
    Download  
     
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Fields with automorphism and valuation.Özlem Beyarslan, Daniel Max Hoffmann, Gönenç Onay & David Pierce - 2020 - Archive for Mathematical Logic 59 (7-8):997-1008.
    The model companion of the theory of fields with valuation and automorphism exists. A counterexample shows that the theory of models of ACFA equipped with valuation is not this model companion.
    Download  
     
    Export citation  
     
    Bookmark