Open Problem Garden

Importance: Medium ✭✭

Author(s):

Subject:

Keywords:

Recomm. for undergrads: no

Posted	by:	Charles
	on:	July 8th, 2008

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.