Neostability transfers in derivation-like theories
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 $T_0$. We prove that when $T$ admits a model-companion $T_+$, then several model-theoretic properties transfer from $T_0$ t...
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | 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 $T_0$. We prove that when $T$ admits a
model-companion $T_+$, then several model-theoretic properties transfer from
$T_0$ to $T_+$. These properties include completeness, quantifier-elimination,
stability, simplicity, and NSOP$_1$. We also observe that, aside from the
theory of differential fields, examples of derivation-like theories are
plentiful. |
---|---|
DOI: | 10.48550/arxiv.2409.11248 |