Comptes Rendus
Logique/Algèbre
Ensembles définissables dans les corps ordonnés différentiellement clos
[On differentially closed ordered fields]
Comptes Rendus. Mathématique, Volume 349 (2011) no. 17-18, pp. 929-933.

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

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.

Received:
Accepted:
Published online:
DOI: 10.1016/j.crma.2011.08.003
Françoise Point 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 = {Fran\c{c}oise Point},
     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},
}
TY  - JOUR
AU  - Françoise Point
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
DO  - 10.1016/j.crma.2011.08.003
LA  - fr
ID  - CRMATH_2011__349_17-18_929_0
ER  - 
%0 Journal Article
%A Françoise Point
%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
%R 10.1016/j.crma.2011.08.003
%G fr
%F CRMATH_2011__349_17-18_929_0
Françoise Point. Ensembles définissables dans les corps ordonnés différentiellement clos. Comptes Rendus. Mathématique, Volume 349 (2011) no. 17-18, pp. 929-933. doi : 10.1016/j.crma.2011.08.003. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2011.08.003/

[1] J. Bochnak; M. Coste; M.-F. Roy 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] T. Brihaye; C. Michaux; C. Rivière 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] A. Dolich; C. Miller; C. Steinhorn Structures having o-minimal open core, Trans. Amer. Math. Soc., Volume 362 (2010) no. 3, pp. 1371-1411

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

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

[6] C. Michaux; C. Rivière 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] B. Poizat A Course in Model Theory, Universitext, Springer, 2000

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

Cited by Sources:

Comments - Policy


Articles of potential interest

The theory of closed ordered differential fields with m commuting derivations

Cédric Rivière

C. R. Math (2006)


Note sur les corps différentiellement clos valués

Nicolas Guzy

C. R. Math (2005)


La logique des parties fractionnaires de nombres réels

Luc Bélair; Françoise Point

C. R. Math (2016)