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

Voir la notice de l'article provenant de la source Numdam

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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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 :