Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-11-06T10:01:03.277Z Has data issue: false hasContentIssue false

THE MODEL COMPANION OF DIFFERENTIAL FIELDS WITH FREE OPERATORS

Published online by Cambridge University Press:  29 June 2016

OMAR LEÓN SÁNCHEZ
Affiliation:
MCMASTER UNIVERSITY DEPARTMENT OF MATHEMATICS AND STATISTICS 1280 MAIN STREET WEST HAMILTON, ONTARIO L8S 4L8CANADAE-mail:[email protected]
RAHIM MOOSA
Affiliation:
UNIVERSITY OF WATERLOO DEPARTMENT OF PURE MATHEMATICS 200 UNIVERSITY AVENUE WEST WATERLOO, ONTARIO N2L 3G1CANADAE-mail:[email protected]

Abstract

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, Journal of Mathematical Logic 14(2), 2014]. 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.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Bustamante, T., Théorie de modèles des corps différentiellement clos avec un automorphisme génerique , PhD Thesis, Université Paris 7, 2005.Google Scholar
Chatzidakis, Z. and Hrushovski, E., Model theory of difference fields . Transactions of the American Mathematical Society, vol. 351 (1999), no. 8, pp. 29973071.CrossRefGoogle Scholar
Kolchin, E. R., Differential Algebra and Algebraic Groups, Pure and Applied Mathematics, vol. 54, Academic Press, New York-London, 1973.Google Scholar
Kolchin, E. R., Differential Algebraic Groups, Pure and Applied Mathematics, vol. 114, Academic Press, 1985.Google Scholar
León Sánchez, O., Geometric axioms for differentially closed fields with several commuting derivations . Journal of Algebra, vol. 362 (2012), pp. 107116. Corrigendum, pp. 332–334.CrossRefGoogle Scholar
León Sánchez, O., On the model companion of partial differential fields with an automorphism. Israel Journal of Mathematics , to appear.Google Scholar
Moosa, R. and Scanlon, T., Jet and prolongation spaces . Journal de l’Institut de Mathématiques de Jussieu, vol. 9 (2010), no. 2, pp. 391430.Google Scholar
Moosa, R. and Scanlon, T., Model theory of fields with free operators in characteristic zero . Journal of Mathematical Logic, vol. 14 (2014), no. 2, pp. 1450009, 43.CrossRefGoogle Scholar
Rosenfeld, Azriel, Specializations in differential algebra . Transactions of the American Mathematical Society, vol. 90 (1959), pp. 394407.CrossRefGoogle Scholar
Scanlon, T., A model complete theory of valued D-fields , this Journal, vol. 65 (2000), no. 4, pp. 17581784.Google Scholar