Neostability transfers in derivation-like theories

Omar Leon Sanchez, Shezad Mohamed

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
JournalModel Theory
Publication statusAccepted/In press - 15 Apr 2025

Keywords

  • model theory
  • neostability
  • differential fields

Fingerprint

Dive into the research topics of 'Neostability transfers in derivation-like theories'. Together they form a unique fingerprint.

Cite this