# Model theory of the real exponential function

A branch of model theory studying the elementary theory of the ordered field of real numbers with the real exponential function (cf. Exponential function, real). It is motivated by Tarski's question [a7], p. 45, whether is decidable.

A. Wilkie showed in [a8] that is model complete. Combining this with Khovanskii's finiteness theorem [a5], it follows that this theory is -minimal. In fact, Wilkie first studies expansions (cf. Structure) of by a Pfaffian chain of functions (see also [a2]): Fix and an open set containing the closed unit box . A Pfaffian chain of functions on is a sequence of analytic functions (cf. Analytic function) for which there exist polynomials (for ; ) such that for all . Wilkie shows that the expansion of by a Pfaffian chain of functions restricted to the closed unit box has a model-complete theory. In particular, the expansion of by the restricted exponential function has a model-complete theory. Wilkie then deduces the model completeness of from this last result. An alternative proof of the model completeness, and an axiomatization of over , was found by J.P. Ressayre in 1991 (see [a3] for a generalization of Ressayre's result).

In [a6], A. Macintyre and Wilkie show that is decidable provided that the real version of Schanuel's conjecture (cf. Algebraic independence) is true.

The theory does not admit elimination of quantifiers. In fact, an expansion of by a family of total real-analytic functions (see [a1]) admits elimination of quantifiers if and only if each function is semi-algebraic, i.e., has a semi-algebraic graph (cf. Semi-algebraic set). However, let denote the family of restricted real-analytic functions, i.e., functions , for all , which are given on by a power series converging on a neighbourhood of and are set equal to outside of . It is shown in [a3] that the expansion admits elimination of quantifiers. The authors also give a complete axiomatization of , and establish that it is -minimal. In [a4] they construct a model of this theory which is not Archimedean and use it to solve a problem raised by G.H. Hardy: they show that the compositional inverse of the function is not asymptotic at to a composition of semi-algebraic functions, and .

How to Cite This Entry:
Model theory of the real exponential function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Model_theory_of_the_real_exponential_function&oldid=29474
This article was adapted from an original article by S. Kuhlmann (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article