Abstract

Let${\mathbb K}$be an algebraically bounded structure, and letTbe its theory. IfTis model complete, then the theory of${\mathbb K}$endowed with a derivation, denoted by$T^{\delta }$, has a model completion. Additionally, we prove that if the theoryTis stable/NIP then the model completion of$T^{\delta }$is also stable/NIP. Similar results hold for the theory with several derivations, either commuting or non-commuting.