Journal of Symbolic Logic 68 (3):923-945 (2003)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Generic Automorphisms of Fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
Model Completion of Lie Differential Fields.Yoav Yaffe - 2001 - Annals of Pure and Applied Logic 107 (1-3):49-86.
Citations of this work BETA
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):66-78.
Similar books and articles
Methods of Local and Global Differential Geometry in General Relativity.D. Farnsworth (ed.) - 1972 - New York: Springer Verlag.
Differential Forms in General Relativity.W. Israel - 1970 - Dublin, Dublin Institute for Advanced Studies.
Noetherian Varieties in Definably Complete Structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Prime Model Extensions for Differential Fields of Characteristic P ≠.Carol Wood - 1974 - Journal of Symbolic Logic 39 (3):469 - 477.
The Model Theory of Ordered Differential Fields.Michael F. Singer - 1978 - Journal of Symbolic Logic 43 (1):82-91.
A Model Complete Theory of Valued D-Fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.
Stabilité Polynômiale Des Corps Différentiels.Natacha Portier - 1999 - Journal of Symbolic Logic 64 (2):803-816.
Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
The Model Theory of Differential Fields with Finitely Many Commuting Derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Added to index2009-01-28
Total downloads22 ( #229,954 of 2,177,974 )
Recent downloads (6 months)1 ( #317,205 of 2,177,974 )
How can I increase my downloads?