no. 17-18
Logique/Algèbre
Ensembles définissables dans les corps ordonnés différentiellement clos

Présenté par : le Comité de rédaction

Point, Françoise1
1 Département de Mathématique, Université de Mons, 20, place du Parc, B-700 Mons, Belgique
Comptes Rendus. Mathématique, Tome 349 (2011) no. 17-18, pp. 929-933.

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].

Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/j.crma.2011.08.003
Point, Françoise 1

1 Département de Mathématique, Université de Mons, 20, place du Parc, B-700 Mons, Belgique 
@article{CRMATH_2011__349_17-18_929_0,
     author = {Point, Fran\c{c}oise},
     title = {Ensembles d\'efinissables dans les corps ordonn\'es diff\'erentiellement clos},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {929--933},
     publisher = {Elsevier},
     volume = {349},
     number = {17-18},
     year = {2011},
     doi = {10.1016/j.crma.2011.08.003},
     language = {fr},
     url = {http://www.numdam.org/articles/10.1016/j.crma.2011.08.003/}
}
TY  - JOUR
AU  - Point, Françoise
TI  - Ensembles définissables dans les corps ordonnés différentiellement clos
JO  - Comptes Rendus. Mathématique
PY  - 2011
SP  - 929
EP  - 933
VL  - 349
IS  - 17-18
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/j.crma.2011.08.003/
DO  - 10.1016/j.crma.2011.08.003
LA  - fr
ID  - CRMATH_2011__349_17-18_929_0
ER  - 
%0 Journal Article
%A Point, Françoise
%T Ensembles définissables dans les corps ordonnés différentiellement clos
%J Comptes Rendus. Mathématique
%D 2011
%P 929-933
%V 349
%N 17-18
%I Elsevier
%U http://www.numdam.org/articles/10.1016/j.crma.2011.08.003/
%R 10.1016/j.crma.2011.08.003
%G fr
%F CRMATH_2011__349_17-18_929_0
Point, Françoise. Ensembles définissables dans les corps ordonnés différentiellement clos. Comptes Rendus. Mathématique, Tome 349 (2011) no. 17-18, pp. 929-933. doi : 10.1016/j.crma.2011.08.003. http://www.numdam.org/articles/10.1016/j.crma.2011.08.003/

[1] Bochnak, J.; Coste, M.; Roy, M.-F. Géométrie algébrique réelle, Ergebnisse der Mathematik und ihrer Grenzgebeite, 3 Folge, Band 12, Springer-Verlag, Berlin, Heidelberg, New York, 1987

[2] Brihaye, T.; Michaux, C.; Rivière, C. Cell decomposition and dimension function in the theory of closed ordered differential fields, Ann. Pure Appl. Logic, Volume 159 (2009) no. 1–2, pp. 111-128

[3] Dolich, A.; Miller, C.; Steinhorn, C. Structures having o-minimal open core, Trans. Amer. Math. Soc., Volume 362 (2010) no. 3, pp. 1371-1411

[4] van den Dries, L. Tame Topology and o-Minimality, London Mathematical Society Lecture Notes Series, Cambridge University Press, 1998

[5] Hodges, W. Model Theory, Encyclopedia of Mathematics and Its Applications, vol. 42, Cambridge University Press, Cambridge, 1993

[6] Michaux, C.; Rivière, C. Quelques remarques concernant la théorie des corps ordonnés différentiellement clos, Bull. Belg. Math. Soc. Simon Stevin, Volume 12 (2005) no. 3, pp. 341-348

[7] Poizat, B. A Course in Model Theory, Universitext, Springer, 2000

[8] Singer, M. The model theory of ordered differential fields, J. Symbolic Logic, Volume 43 (1978) no. 1, pp. 82-91

Cité par Sources :