Existentially closed fields with G-derivations
  We prove that the theories of fields with Hasse-Schmidt derivations corresponding to actions of formal groups admit model companions. We also give geometric axiomatizations of these model companions. 
Daniel Hoffmann, Piotr Kowalski
math.LO