Model Theory of Partial Differential Fields: From Commuting to Noncommuting Derivations
Logic
2007-05-23 v1
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.
Cite
@article{arxiv.math/0602034,
title = {Model Theory of Partial Differential Fields: From Commuting to Noncommuting Derivations},
author = {Michael F. Singer},
journal= {arXiv preprint arXiv:math/0602034},
year = {2007}
}
Comments
6 pages