The model theory of differential fields with finitely many commuting derivations
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) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesTamara 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #161,910 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
