Submission date: 29 April 2014.

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.

Mathematics Subject Classification: Primary 13N15, 03C60, Secondary 14L15

Keywords and phrases:

Full text arXiv 1404.7475: pdf, ps.