EnglishFrançais

Site Web DMA

Bannière DMA Site de l'ENS Site Paris Sciences et Lettres Site du CNRS Accueil

Séminaire Géométrie et théorie des modèles

Horaires : Le vendredi 18 mars 2011, 16h - 17h30

Lieu : ENS, salle W

Théorème de préparation quasianalytique et élimination des quantificateurs

Jean-Philippe Rolin (Dijon)

Le ??théorème de préparation? de L. van den Dries et P. Speissegger affirme que les fonctions définissables dans les structures o-minimales polynomialement bornées admettent une forme factorisée. Dans le cas des structures engendrées par des algèbres quasianalytiques de fonctions réelles, nous montrons que cette factorisation admet une écriture explicite. Nous en déduisons un théorème d'élimination des quantificateurs dans ce cadre, dans l'esprit du théorème d'élimination démontré par J. Denef et L. van den Dries dans le cadre analytique.

 

Autres séances du séminaire


45 rue d'Ulm - F 75230 PARIS cedex 05 | phone : (33) 1 44 32 20 49 | fax : (33) 1 44 32 20 69

Plan du site | Mentions légales | | Edition du site | Web site designed under SPIP