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

Abstract : O-minimal structures were introduced in the 80' by Van den Dries answering the Grotendick's request for a tame geomety framework, and were largely studied by Wilkie and Macintyre.

This thesis shows an explicit theorem of the complement for o-minimal polynomially bounded structures, result equivalent to the model-completness in model theorie.

In 1968, Gabrielov shows a theorem of the complement for sub-analytic sets, which implice the tameness of global sub-analytics sets. He gives in 1996 an explicit version of this result. A generalisation of this theorem is introduced here.

By valuation's arguments (due to Lojasiewicz in the analytic case and to Miller for the o-minimal case), some quasi-analytic's properties are exhibits, which permit to adapt the classical proof of model-completness sheme. This result is a step for better understand how o-minimal structures are generated and gives a reduced language on which an o-minimal polynomially bounded structure is model-complete.
Document type :
Theses
Mathematics. Université Rennes 1, 2006. French
Domain :


https://tel.archives-ouvertes.fr/tel-00127811
Contributor : Olivier Le Gal <>
Submitted on : Monday, January 29, 2007 - 6:30:53 PM
Last modification on : Wednesday, October 29, 2014 - 1:26:34 PM

Identifiers

  • HAL Id : tel-00127811, version 1

Citation

Olivier Le Gal. Modèle complétude des structures o-minimales polynomialement bornées. Mathematics. Université Rennes 1, 2006. French. <tel-00127811>

Export

Share

Metrics

Consultation de
la notice

196

Téléchargement du document

72