David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Nicolas Guzy (2007). Some Elements of Lie-Differential Algebra and a Uniform Companion for Large Lie-Differential Fields. Annals of Pure and Applied Logic 150 (1):66-78.
Similar books and articles
D. Farnsworth (ed.) (1972). Methods of Local and Global Differential Geometry in General Relativity. New York,Springer-Verlag.
W. Israel (1970). Differential Forms in General Relativity. Dublin,Dublin Institute for Advanced Studies.
Tamara Servi (2008). Noetherian Varieties in Definably Complete Structures. Logic and Analysis 1 (3-4):187-204.
Ronald F. Bustamante Medina (2010). Rank and Dimension in Difference-Differential Fields. Notre Dame Journal of Formal Logic 52 (4):403-414.
Carol Wood (1974). Prime Model Extensions for Differential Fields of Characteristic P ≠. Journal of Symbolic Logic 39 (3):469 - 477.
Michael F. Singer (1978). The Model Theory of Ordered Differential Fields. Journal of Symbolic Logic 43 (1):82-91.
Thomas Scanlon (2000). A Model Complete Theory of Valued D-Fields. Journal of Symbolic Logic 65 (4):1758-1784.
Natacha Portier (1999). Stabilité Polynômiale Des Corps Différentiels. Journal of Symbolic Logic 64 (2):803-816.
Carol Wood (1979). Notes on the Stability of Separably Closed Fields. Journal of Symbolic Logic 44 (3):412-416.
Tracey McGrail (2000). The Model Theory of Differential Fields with Finitely Many Commuting Derivations. Journal of Symbolic Logic 65 (2):885-913.
Added to index2009-01-28
Total downloads7 ( #173,266 of 1,096,298 )
Recent downloads (6 months)3 ( #84,313 of 1,096,298 )
How can I increase my downloads?