2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/108826McGrail 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.6 pagesLogic03C10; 35A05, 12H05text