Model Theory of Partial Differential Fields: From Commuting to Noncommuting Derivations
classification
🧮 math.LO
keywords
derivationsfieldsmodeltheorycommutingcompletionexistenceacts
read the original abstract
McGrail has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe has shown the existence of a model completion for the univeral theory of fields on which a fixed Lie algebra acts as derivations. We show how to derive the second result from the first.
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.