Quasi-analyticité, o-minimalité et élimination des quantificateurs

RésuméCette Note étudie selon le point de vue de la théorie des modèles certaines classes de fonctions réelles : les classes quasi-analytiques restreintes. Soit E une telle classe, on explicite un langage naturel L contenant E et une théorie T dans L tels que T admet l'élimination des quantificateurs, est o-minimale et est équivalente à la théorie complète de R dans L. Pour citer cet article : A. Rambaud, C. R. Acad. Sci. Paris, Ser. I 343 (2006).

In this article, we study using model theory certain classes of real functions: restricted quasi-analytic classes. Let E be such a class of functions, we introduce a natural language L, including E and a theory T in L such that T admits quantifiers elimination, is o-minimal and is equivalent to the complete theory of R in L. To cite this article: A. Rambaud, C. R. Acad. Sci. Paris, Ser. I 343 (2006).