Quasianalytic Denjoy-Carleman classes and o-minimality

Abstract

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.