Matches in DBpedia 2016-04 for { ?s ?p "In model theory, Tarski's exponential function problem asks whether the 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."@en }
Showing triples 1 to 4 of
4
with 100 triples per page.
- Tarskis_exponential_function_problem abstract "In model theory, Tarski's exponential function problem asks whether the 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.".
- Q7686758 abstract "In model theory, Tarski's exponential function problem asks whether the 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.".
- Tarskis_exponential_function_problem comment "In model theory, Tarski's exponential function problem asks whether the 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.".
- Q7686758 comment "In model theory, Tarski's exponential function problem asks whether the 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.".