The Elementary Theory of Restricted Analytic Fields with Exponentiation

numbers with exponentiation is model complete. When we combine this with Hovanskii's finiteness theorem [9], it follows that the real exponential field is o-minimal. In o-minimal expansions of the real field the definable subsets of R' share many of the nice structural properties of semialgebraic sets. For example, definable subsets have only finitely many connected components, definable sets can be stratified and triangulated, and continuous definable maps are piecewise trivial (see [5]). In this paper we will prove a quantifier elimination result for the real field augmented by exponentiation and all restricted analytic functions, and use this result to obtain o-minimality. We were led to this while studying work of Ressayre [13] and several of his ideas emerge here in simplified form. However, our treatment is formally independent of the results of [16], [17], [9], and [13].