Ensembles définissables dans les corps ordonnés différentiellement clos

RésuméOn montre que la théorie CODF des corps ordonnés différentiellement clos est définissablement complète et uniformément finie. On en déduit, utilisant un résultat de Dolich, Miller et Steinhorn (2010) [3] que le coeur ouvert de tout modèle de CODF est o-minimal.

We prove that the theory CODF of ordered differentially closed fields is definably complete and uniformly finite. We deduce that the open core of any model of CODF is o-minimal using a recent result of Dolich, Miller and Steinhorn (2010) [3].