On the model companion of partial differential fields with an\n automorphism

2013/09/13 by Omar León Sánchez, Sanchez, Omar Leon
Mathematics · #Advanced Algebra and Geometry #Advanced Differential Equations and Dynamical Systems #Advanced Topics in Algebra #FOS: Mathematics #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.1309.3539

openalex publication_date 2013/09/13 · openalex created_date 2022/09/30 · openalex updated_date 2026/07/28

Abstract

We prove that the class of partial differential fields of characteristic zero\nwith an automorphism has a model companion. We then establish the basic model\ntheoretic properties of this theory and prove that it satisfies the Zilber\ndichotomy for finite dimensional minimal types.\n

Related

• Zilber's Dichotomy for Differentially Closed Fields with an Automorphism
• The model companion of differential fields with free operators
• The theory DCF_pA exists for p>0
• Contributions to the model theory of partial differential fields
• Model theory of fields with free operators in characteristic zero