arXiv Analytics

Sign in

arXiv:1408.1941 [math.LO]AbstractReferencesReviewsResources

The model companion of differential fields with free operators

Omar Leon Sanchez, Rahim Moosa

Published 2014-08-08Version 1

A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]. The proof relies on a new lifting lemma in differential algebra: a differential version of Hensel's Lemma for local finite algebras over differentially closed fields.

Categories: math.LO
Subjects: 03C60, 12H05, 12L12
Related articles: Most relevant | Search more
arXiv:2311.01856 [math.LO] (Published 2023-11-03)
The uniform companion for large fields with free operators in characteristic zero
arXiv:1309.3539 [math.LO] (Published 2013-09-13, updated 2014-07-09)
On the model companion of partial differential fields with an automorphism
arXiv:1212.5838 [math.LO] (Published 2012-12-23, updated 2013-08-28)
Model theory of fields with free operators in characteristic zero

Links

Toolbox