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   8 citations  
  • 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   2 citations  
  • 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  
  • Model theory of fields with free operators in characteristic zero.Rahim Moosa & Thomas Scanlon - 2014 - Journal of Mathematical Logic 14 (2):1450009.
    Generalizing and unifying the known theorems for difference and differential fields, it is shown that for every finite free algebra scheme.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Multiplicative valued difference fields.Koushik Pal - 2012 - Journal of Symbolic Logic 77 (2):545-579.
    The theory of valued difference fields (K, σ, υ) depends on how the valuation υ interacts with the automorphism σ. Two special cases have already been worked out - the isometric case, where υ(σ(x)) = υ(x) for all x Î G has been worked out by Luc Belair, Angus Macintyre and Thomas Scanlon; and the contractive case, where υ(σ(x)) > nv(x) for all x Î K x with υ(x) > 0 and n Î N, has been worked out by Salih (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The model companion of differential fields with free operators.Omar León Sánchez & Rahim Moosa - 2016 - Journal of Symbolic Logic 81 (2):493-509.
    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  
  • Ganzstellensätze in theories of valued fields.Deirdre Haskell & Yoav Yaffe - 2008 - Journal of Mathematical Logic 8 (1):1-22.
    The purpose of this paper is to study an analogue of Hilbert's seventeenth problem for functions over a valued field which are integral definite on some definable set; that is, that map the given set into the valuation ring. We use model theory to exhibit a uniform method, on various theories of valued fields, for deriving an algebraic characterization of such functions. As part of this method we refine the concept of a function being integral at a point, and make (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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