Generic derivations, differential largeness, and NTP₂

2025/08/19 by Kaplan, Elliot, Kesting, Christoph
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2508.13919

Abstract

We compare Fornasiero and Terzo's framework of generic derivations on algebraically bounded structures with León Sánchez and Tressl's differentially large fields. We show in the case of a single derivation that genericity and differential largeness coincide for éz-fields, as introduced by Walsberg and Ye. We also show that an NTP₂ algebraically bounded structure remains NTP₂ after expanding by a generic derivation.

Citations

• Generic derivations on algebraically bounded structures II Model theoretical properties
• Neostability transfers in derivation-like theories
• Curve-excluding fields
• Six lectures on model theory and differential-algebraic geometry
• On the Antichain Tree Property
• Distality in valued fields and related structures
• SOP₁, SOP₂, and antichain tree property
• Theories without the tree property of the second kind
• Subfields of ample fields I. Rational maps and definability

Related

• Generic derivations on algebraically bounded structures II Model theoretical properties
• Exponential Fields: Lack of Generic Derivations
• Differential Weil Descent and Differentially Large Fields
• Differentially Henselian Fields
• Topological fields with a generic derivation