Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4670348 | Comptes Rendus Mathematique | 2011 | 5 Pages |
Abstract
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].
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)