Generic derivations on o-minimal structures

DOI10.1142/S0219061321500070MaRDI QIDQ5156472

Elliot Kaplan, Antongiulio Fornasiero

Publication date: 18 October 2021

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.07298

zbMATH Keywords

distalityo-minimalitydifferential fieldopen coremodel completion

Mathematics Subject Classification ID

Differential algebra (12H05) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Distality in valued fields and related structures, Liouville closed \(H_T\)-fields, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, \(T\)-convex \(T\)-differential fields and their immediate extensions, Topological fields with a generic derivation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definable types in the theory of closed ordered differential fields
• Dimensions, matroids, and dense pairs of first-order structures
• On differentially closed ordered fields
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• Verdier and strict Thom stratifications in o-minimal structures
• The elementary theory of restricted analytic fields with exponentiation
• Surreal numbers, derivations and transseries
• Distal and non-distal NIP theories
• Regularity lemma for distal structures
• Some remarks concerning the theory of ordered differentially closed fields.
• The theory of closed ordered differential fields with \(m\) commuting derivations
• The nonminimality of the differential closure
• Fields of surreal numbers and exponentiation
• Asymptotic Differential Algebra and Model Theory of Transseries
• Exponential algebraicity in exponential fields
• A Schanuel property for exponentially transcendental powers
• Structures having o-minimal open core
• The model theory of ordered differential fields
• Logarithmic-Exponential Power Series
• The model theory of differential fields with finitely many commuting derivations
• T-convexity and tame extensions
• Distality in valued fields and related structures
• STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS
• Expansions which introduce no new open sets
• The uniform companion for large differential fields of characteristic 0
• DISTAL AND NON-DISTAL PAIRS