1 results
GENERIC DERIVATIONS ON ALGEBRAICALLY BOUNDED STRUCTURES
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 13 November 2024, pp. 1-27
-
- Article
-
- You have access
- HTML
- Export citation
-
Let
${\mathbb K}$ be an algebraically bounded structure, and let T be its theory. If T is 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 theory T is 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.
