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.
Carol Wood (1979). Notes on the Stability of Separably Closed Fields. Journal of Symbolic Logic 44 (3):412-416.
Natacha Portier (1999). Stabilité Polynômiale Des Corps Différentiels. Journal of Symbolic Logic 64 (2):803-816.
Thomas Scanlon (2000). A Model Complete Theory of Valued D-Fields. Journal of Symbolic Logic 65 (4):1758-1784.
Michael F. Singer (1978). The Model Theory of Ordered Differential Fields. Journal of Symbolic Logic 43 (1):82-91.
Carol Wood (1974). Prime Model Extensions for Differential Fields of Characteristic P ≠. Journal of Symbolic Logic 39 (3):469 - 477.
Ronald F. Bustamante Medina (2010). Rank and Dimension in Difference-Differential Fields. Notre Dame Journal of Formal Logic 52 (4):403-414.
Tamara Servi (2008). Noetherian Varieties in Definably Complete Structures. Logic and Analysis 1 (3-4):187-204.
W. Israel (1970). Differential Forms in General Relativity. Dublin,Dublin Institute for Advanced Studies.
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 downloads9 ( #180,814 of 1,679,365 )
Recent downloads (6 months)1 ( #183,761 of 1,679,365 )
How can I increase my downloads?