Definable types in the theory of closed ordered differential fields
From MaRDI portal
Publication:512139
DOI10.1007/S00153-016-0517-4zbMath1421.03020OpenAlexW2555486816MaRDI QIDQ512139
Publication date: 24 February 2017
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-016-0517-4
Differential algebra (12H05) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)
Related Items (6)
On coincidence of dimensions in closed ordered differential fields ⋮ Generic derivations on o-minimal structures ⋮ Definable types in the theory of closed ordered differential fields ⋮ Definability of types and VC density in differential topological fields ⋮ STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS ⋮ Pro-definability of spaces of definable types
Cites Work
- Definable types in the theory of closed ordered differential fields
- On differentially closed ordered fields
- The model theory of ordered differential fields
- Definable types in -minimal theories
- Definability of types, and pairs of O-minimal structures
- Definissabilite Avec Parametres Exterieurs Dans Q p Et R
- Unnamed Item
This page was built for publication: Definable types in the theory of closed ordered differential fields
