STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS
From MaRDI portal
Publication:5195059
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
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 (5)
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
This page was built for publication: STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS
