2019-09-20 - Article/Dans un journal avec peer-review - Anglais -
17 page(s)
Brouette Quentin
,
Cubides-Kovacsics Pablo,
Point Françoise
,
"Strong density property of definable types and closed ordered differential fields" in Journal of Symbolic Logic
- Edition : Cambridge University Press (United Kingdom)
- Codes CREF : Algèbre - théorie des anneaux - théorie des corps (DI1147), Logique mathématique (DI1170)
- Unités de recherche UMONS : Logique mathématique (S838)
- Instituts UMONS : Institut de Recherche sur les Systèmes Complexes (Complexys)
- Centres UMONS : Algèbre, Géométrie et Interactions fondamentales (AGIF)
Texte intégral :