Comptes Rendus
no. 1-2
Géométrie/Logique
Modèle complétude des structures o-minimales polynomialement bornées

Présenté par : Bernard Malgrange

Olivier Le Gal1
1 IRMAR, Campus de Beaulieu, 35042 Rennes cedex, France
Comptes Rendus. Mathématique, Volume 346 (2008) no. 1-2, pp. 59-62.

On montre un théorème du complémentaire explicite « à la Gabrielov '96 » dans les structures o-minimales polynomialement bornées. Cette propriété équivaut à la modèle complétude de la structure 〈R,>,+,∗,F〉, où F est une algèbre différentielle globale d'applications définissables dans une structure o-minimale polynomialement bornée.

We show an explicit theorem of the complement “Gabrielov's '96 like” for o-minimal polynomially bounded structures. In model theoretic terms, this is equivalent to the model completeness of 〈R,>,+,∗,F〉 where F is a global differential algebra of maps definable in an o-minimal polynomially bounded structure.

Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/j.crma.2007.10.049
Olivier Le Gal 1

1 IRMAR, Campus de Beaulieu, 35042 Rennes cedex, France 
@article{CRMATH_2008__346_1-2_59_0,
     author = {Olivier Le Gal},
     title = {Mod\`ele compl\'etude des structures o-minimales polynomialement born\'ees},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {59--62},
     publisher = {Elsevier},
     volume = {346},
     number = {1-2},
     year = {2008},
     doi = {10.1016/j.crma.2007.10.049},
     language = {fr},
}
TY  - JOUR
AU  - Olivier Le Gal
TI  - Modèle complétude des structures o-minimales polynomialement bornées
JO  - Comptes Rendus. Mathématique
PY  - 2008
SP  - 59
EP  - 62
VL  - 346
IS  - 1-2
PB  - Elsevier
DO  - 10.1016/j.crma.2007.10.049
LA  - fr
ID  - CRMATH_2008__346_1-2_59_0
ER  - 
%0 Journal Article
%A Olivier Le Gal
%T Modèle complétude des structures o-minimales polynomialement bornées
%J Comptes Rendus. Mathématique
%D 2008
%P 59-62
%V 346
%N 1-2
%I Elsevier
%R 10.1016/j.crma.2007.10.049
%G fr
%F CRMATH_2008__346_1-2_59_0
Olivier Le Gal. Modèle complétude des structures o-minimales polynomialement bornées. Comptes Rendus. Mathématique, Volume 346 (2008) no. 1-2, pp. 59-62. doi : 10.1016/j.crma.2007.10.049. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2007.10.049/

[1] M. Coste An Introduction to o-Minimal Geometry, Instituti editoriali e poligrafici internazionali, 2000

[2] J. Denef; L. van den Dries P-adic and real subanalytic sets, Ann. Math., Volume 128 (1988), pp. 79-138

[3] A. Gabrielov Projections of semianalytic sets, Funct. Anal. Appl., Volume 2 (1968), pp. 282-291

[4] A. Gabrielov Complements of subanalytic sets and existential formulas for analytic functions, Invent. Math., Volume 125 (1996), pp. 1-12

[5] C. Miller Expansions of the real field with power functions, Ann. Pure Appl. Logic, Volume 68 (1994) no. 1, pp. 79-94

[6] A. Rambaud, Thèse, Paris, 2005

[7] J.-P. Rolin; P. Speissegger; A.J. Wilkie Quasianalytic Denjoy–Carleman classes and o-minimality, J. Amer. Math. Soc., Volume 16 (2003) no. 4, pp. 751-777 (electronic)

[8] L. van den Dries; C. Miller Geometric categories and o-minimal structures, Duke Math. J., Volume 84 (1996), pp. 497-540

[9] A. Wilkie A theorem of the complement and some new o-minimal structures, Sel. Math., Volume 5 (1999), pp. 397-421

Cité par Sources :

Commentaires - Politique

Ces articles pourraient vous intéresser

Quasi-analyticité, o-minimalité et élimination des quantificateurs

Alexandre Rambaud

C. R. Math (2006)

A bilipschitz version of Hardt's theorem

Guillaume Valette

C. R. Math (2005)

Une structure o-minimale sans décomposition cellulaire C∞

Olivier Le Gal; Jean-Philippe Rolin

C. R. Math (2008)