Tarski's exponential function problem

In mathematics, Tarski's exponential function problem asks whether the usual theory of the real numbers together with the exponential function is decidable. Tarski had previously shown that the theory of the real numbers (without the exponential function) is decidable. Macintyre & Wilkie (1995) showed that Schanuel's conjecture implies a positive answer to Tarski's problem.

References

• Kuhlmann, S. (2001) [1994], "Model theory of the real exponential function", Encyclopedia of Mathematics, EMS Press
• Macintyre, A.J.; Wilkie, A.J. (1995), "On the decidability of the real exponential field", in Odifreddi, P.G. (ed.), Kreisel 70th Birthday Volume, CLSI