Tarski's exponential function problem

Importance: Medium ✭✭
Author(s): Tarski, Alfred
Subject: Logic
Keywords: Decidability
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.


* indicates original appearance(s) of problem.