加载中…
Motivated by structural properties of differential field extensions, we introduce the notion of a theory being derivation-like with respect to another model complete theory . We prove that when admits a model companion , several model-theoretic properties transfer from to . These properties include completeness, quantifier elimination, stability, simplicity, and NSOP. We also observe that, aside from the theory of differential fields, examples of derivation-like theories are plentiful.

生成讲解博客的中文版本

生成AI智能校验的中文版本