Model Theory of Differential Fields
David Marker, Margit Messmer, Anand Pillay · 2005
Throughout these notes ring will mean commutative ring with identity. A derivation on a ring R is an additive homomorphism D : R —> R such that D(xy) = xD(y) + yD(x). A differential ring is a ring equipped with a derivation.