Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Tarski's_exponential_function_problem> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- Tarski's_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.".
- Tarski's_exponential_function_problem wikiPageID "16073214".
- Tarski's_exponential_function_problem wikiPageRevisionID "470675280".
- Tarski's_exponential_function_problem first "S.".
- Tarski's_exponential_function_problem hasPhotoCollection Tarski's_exponential_function_problem.
- Tarski's_exponential_function_problem id "M/m110160".
- Tarski's_exponential_function_problem last "Kuhlmann".
- Tarski's_exponential_function_problem title "Model theory of the real exponential function".
- Tarski's_exponential_function_problem subject Category:Model_theory.
- Tarski's_exponential_function_problem subject Category:Unsolved_problems_in_mathematics.
- Tarski's_exponential_function_problem type Abstraction100002137.
- Tarski's_exponential_function_problem type Attribute100024264.
- Tarski's_exponential_function_problem type Condition113920835.
- Tarski's_exponential_function_problem type Difficulty114408086.
- Tarski's_exponential_function_problem type Problem114410605.
- Tarski's_exponential_function_problem type State100024720.
- Tarski's_exponential_function_problem type UnsolvedProblemsInMathematics.
- Tarski's_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.".
- Tarski's_exponential_function_problem label "Tarski's exponential function problem".
- Tarski's_exponential_function_problem sameAs m.03qnb94.
- Tarski's_exponential_function_problem sameAs Q7686758.
- Tarski's_exponential_function_problem sameAs Q7686758.
- Tarski's_exponential_function_problem sameAs Tarski's_exponential_function_problem.
- Tarski's_exponential_function_problem wasDerivedFrom Tarski's_exponential_function_problem?oldid=470675280.
- Tarski's_exponential_function_problem isPrimaryTopicOf Tarski's_exponential_function_problem.