Switch to: References

Add citations

You must login to add citations.
  1. Differential forms in the model theory of differential fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
    Fields of characteristic zero with several commuting derivations can be treated as fields equipped with a space of derivations that is closed under the Lie bracket. The existentially closed instances of such structures can then be given a coordinate-free characterization in terms of differential forms. The main tool for doing this is a generalization of the Frobenius Theorem of differential geometry.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields.Nicolas Guzy - 2007 - Annals of Pure and Applied Logic 150 (1-3):66-78.
    In this paper, we develop the beginning of Lie-differential algebra, in the sense of Kolchin by using tools introduced by Hubert in [E. Hubert, Differential algebra for derivations with nontrivial commutation rules, J. Pure Appl. Algebra 200 163–190]. In particular it allows us to adapt the results of Tressl 3933–3951]) by showing the existence of a theory of Lie-differential fields of characteristic zero. This theory will serve as a model companion for every theory of large and Lie-differential fields extending a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
    		•