Quantcast

Model Theory of Partial Differential Fields: From Commuting to Noncommuting Derivations

Research paper by Michael F. Singer

Indexed on: 01 Feb '06Published on: 01 Feb '06Published in: Mathematics - Logic



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.