Modèle complétude des structures o-minimales polynomialement bornées

TEL :: [tel-00127811, version 1]
http://tel.archives-ouvertes.fr/tel-00127811/fr/
Les structures o-minimales, introduites dans les années '80 par Van den Dries et largement étudiées par Wilkie et Macintyre répondent à Grothendick en donnant le cadre d'une géométrie modérée.
Cette thèse montre un théorème du complémentaire explicite pour les structures o-minimales polynomialement bornées, ce qui équivault à la modèle-complétude en théorie des modèles.
...