EnglishFrançais

DMA Web Site

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

Geometry and Model Theory

Time: Friday, March 18, 2011, 16h - 17h30

Location: 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.

 

Other sessions of this seminar


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

Site Map | Legal notice | | Website editor | Web site designed under SPIP