TY  - RPRT
TI  - Strong density of definable types and closed ordered differential fields
AU  - Quentin Brouette
AU  - Pablo Cubides Kovacsics
AU  - Francoise Point
PY  - 2017
DO  - 10.1017/jsl.2018.88
UR  - https://arxiv.org/abs/1704.08396
ID  - 1704.08396
ER  -