Existentially closed fields with G-derivations

Abstract

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.

In version 2: new proof of (the current) Proposition 3.34

References in corpus (3)

• Generalised Hasse-Schmidt varieties and their jet spaces
• Integrating Hasse-Schmidt derivations
• A note on integrating group scheme actions

Cited by in corpus (5)

• Integrating Hasse-Schmidt derivations
• Existentially closed fields with finite group actions
• Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
• Rings of differential operators as enveloping algebras of Hasse--Schmidt derivations
• On existence of canonical $G$-bases