Abstract
Motivated by structural properties of differential field extensions, we introduce the notion of a theory T being derivation-like with respect to another model complete theory T0. We prove that when T admits a model companion T+, several model-theoretic properties transfer from T0 to T+. These properties include completeness, quantifier elimination, stability, simplicity, and NSOP1. We also observe that, aside from the theory of differential fields, examples of derivation-like theories are plentiful.
Original language | English |
---|---|
Journal | Model Theory |
Publication status | Accepted/In press - 15 Apr 2025 |
Keywords
- model theory
- neostability
- differential fields