DIFFERENTIAL ALGEBRA A SCHEME THEORY APPROACH
Two results in Differential Algebra, Kolchin’s irreducibility theorem, and a result on descent of projective varieties (due to Buium) are proved using methods of “modern” or “Grothendieck style” algebraic geometry.