2000 character limit reached
Existentially closed fields with G-derivations (1404.7475v3)
Published 29 Apr 2014 in math.LO
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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.