e/Tarski's exponential function problem

Information
has gloss	eng: In model theory, 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.
lexicalization	eng: Tarski's exponential function problem
instance of	e/Unsolved problems in mathematics