Existentially closed fields with G-derivations
classification
🧮 math.LO
keywords
companionsfieldsmodelactionsadmitaxiomatizationsclosedcorresponding
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.