Quasianalytic Denjoy-Carleman classes and o-minimality

We show that the expansion of the real field generated by the functions of a quasianalytic Denjoy-Carleman class is model complete and o-minimal, provided that the class satisfies certain closure conditions. Some of these structures do not admit analytic cell decomposition, and they show that there is no largest o-minimal expansion of the real field.

[1]  A. Gabrielov.  Complements of subanalytic sets and existential formulas for analytic functions , 1996 .

[2]  Jean-Marie Lion,et al.  Théorème de préparation pour les fonctions logarithmico-exponentielles , 1997 .

[3]  Charles Roumieu.  Ultra-distributions définies surRn et sur certaines classes de variétés différentiables , 1962 .

[4]  T. Moh,et al.  Newton-Puiseux expansion and generalized Tschrinhausen transformation. II. , 1973 .

[5]  L. Dries.  O-minimal Structures and Real Analytic Geometry , 1998 .

[6]  Christopher L. Miller.  Expansions of the Real Field with Power Functions , 1994, Ann. Pure Appl. Log..

[7]  T. Moh,et al.  Newton-Puiseux expansion and generalized Tschirnhausen transformation. I. , 1973 .

[8]  L. Dries,et al.  Geometric categories and o-minimal structures , 1996 .

[9]  Edward Bierstone,et al.  Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant , 1995 .

[10]  H. Komatsu.  The implicit function theorem for ultradifferentiable mappings , 1979 .

[11]  E. Bierstone,et al.  Semianalytic and subanalytic sets , 1988 .

[12]  Infinite differentiability in polynomially bounded o-minimal structures , 1995 .

[13]  Lou van den Dries,et al.  The Field of Reals with Multisummable Series and the Exponential Function , 2000 .

[14]  A. Parusiński.  Lipschitz stratification of subanalytic sets , 1994 .

[15]  G. Duclos.  New York 1987 , 2000 .

[16]  Y. Katznelson.  An Introduction to Harmonic Analysis: Interpolation of Linear Operators , 1968 .

[17]  Lou van den Dries,et al.  THE REAL FIELD WITH CONVERGENT GENERALIZED POWER SERIES , 1998 .