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

Abstract

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).