Keywords

#tarski's_exponential_function_problem

Tarski's exponential function problem

In model theory, Tarski's exponential function problem asks whether the theory of the real numbers together with the exponential function is decidable. Alfred Tarski had previously shown that the theory of the real numbers is decidable.

Wed 14th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Tarski's exponential function problem Tarski's problem Decidability of first-order theories of the real numbers List of unsolved problems in mathematics Tarski's high school algebra problem Decidability (logic) Exponential field Schanuel's conjecture Elementary function Injective function
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.