Neostability transfers in derivation-like theories
Logic
2025-03-25 v2
Abstract
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.
Keywords
Cite
@article{arxiv.2409.11248,
title = {Neostability transfers in derivation-like theories},
author = {Omar Leon Sanchez and Shezad Mohamed},
journal= {arXiv preprint arXiv:2409.11248},
year = {2025}
}
Comments
Revised introduction and preliminaries; added example to section 4