STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS

DOI10.1017/jsl.2018.88zbMath1450.03006arXiv1704.08396OpenAlexW3192490195WikidataQ128449899 ScholiaQ128449899MaRDI QIDQ5195059

Françoise Point, Pablo Cubides Kovacsics, Quentin Brouette

Publication date: 17 September 2019

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

ordered differential fieldsclosed ordered differential fieldsdensity of definable types

Mathematics Subject Classification ID

Differential algebra (12H05) Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Related Items

Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, Generic derivations on o-minimal structures, Definability of types and VC density in differential topological fields, Pro-definability of spaces of definable types, Topological fields with a generic derivation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definable types in the theory of closed ordered differential fields
• Topological differential fields
• 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
• Une théorie de Galois imaginaire
• The model theory of ordered differential fields
• Definable types in -minimal theories
• Imaginaries in separably closed valued fields
• Topological differential fields and dimension functions
• Imaginaries and definable types in algebraically closed valued fields
• ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES
• DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES