Séminaires


Retour à la liste de tous les séminaires


Élimination des quantificateurs et singularités quasi-analytiques réelles

Le : 09/06/2006 14h00
Par : Alexandre Rambaud (Univ. Paris 7)
Lieu :
Lien web :
Résumé : Le but de cet exposé est de prouver, dans la lignée de Gabrielov, par exemple, l'élimination des quantificateurs dans toute classe de fonctions réelles quasi-analytiques restreintes, closes par certaines opérations "naturelles". Pour ce faire, on doit étudier les singularités des courbes définissables et on est amené à généraliser, par certaines méthodes non-standards, les théorèmes de préparation classique.