Neostability transfers in derivation-like theories
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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.