Existentially closed fields with G-derivations
Logic
2019-05-24 v3
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.
Keywords
Cite
@article{arxiv.1404.7475,
title = {Existentially closed fields with G-derivations},
author = {Daniel Hoffmann and Piotr Kowalski},
journal= {arXiv preprint arXiv:1404.7475},
year = {2019}
}
Comments
In version 2: new proof of (the current) Proposition 3.34