**Conjecture**Is the theory of the real numbers with the exponential function decidable?

See Tarski's exponential function problem. Tarski proved that the theory of the real numbers without the exponential is decidable before asking this.

## Bibliography

* indicates original appearance(s) of problem.