Submission date: 31 October 2023

Abstract:

Let K be an algebraically bounded structure. If K is model complete, then the theory of K endowed with a derivation has a model completion. Similar results hold for several derivations, both commuting and non-commuting. Moreover, we prove that many of the model-theoretic properties of the theory of K are inherited by the theory of K endowed with several derivations.

Mathematics Subject Classification: 03C60, 12H05, 12L12, 03C10

Keywords and phrases:

Full text arXiv 2310.20511: pdf, ps.