Journal of Symbolic Logic 65 (2):885-913 (2000)
|Abstract||In this paper we set out the basic model theory of differential fields of characteristic 0, which have finitely many commuting derivations. We give axioms for the theory of differentially closed differential fields with m derivations and show that this theory is ω-stable, model complete, and quantifier-eliminable, and that it admits elimination of imaginaries. We give a characterization of forking and compute the rank of this theory to be ω m + 1|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Tamara Servi (2008). Noetherian Varieties in Definably Complete Structures. Logic and Analysis 1 (3-4):187-204.
Natacha Portier (1999). Stabilité Polynômiale Des Corps Différentiels. Journal of Symbolic Logic 64 (2):803-816.
Piotr Kowalski (2005). Derivations of the Frobenius Map. Journal of Symbolic Logic 70 (1):99 - 110.
Thomas Scanlon (2000). A Model Complete Theory of Valued D-Fields. Journal of Symbolic Logic 65 (4):1758-1784.
Ronald F. Bustamante Medina (2010). Rank and Dimension in Difference-Differential Fields. Notre Dame Journal of Formal Logic 52 (4):403-414.
Margit Messmer & Carol Wood (1995). Separably Closed Fields with Higher Derivations. Journal of Symbolic Logic 60 (3):898-910.
Anand Pillay & Wai Yan Pong (2002). On Lascar Rank and Morley Rank of Definable Groups in Differentially Closed Fields. Journal of Symbolic Logic 67 (3):1189-1196.
Carol Wood (1979). Notes on the Stability of Separably Closed Fields. Journal of Symbolic Logic 44 (3):412-416.
Martin Ziegler (2003). Separably Closed Fields with Hasse Derivations. Journal of Symbolic Logic 68 (1):311-318.
David Pierce (2003). Differential Forms in the Model Theory of Differential Fields. Journal of Symbolic Logic 68 (3):923-945.
Added to index2009-01-28
Total downloads5 ( #161,910 of 556,837 )
Recent downloads (6 months)1 ( #64,847 of 556,837 )
How can I increase my downloads?