Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Tarskis_exponential_function_problem> ?p ?o }
Showing triples 1 to 36 of
36
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.".
- Tarskis_exponential_function_problem wikiPageID "16073214".
- Tarskis_exponential_function_problem wikiPageLength "4023".
- Tarskis_exponential_function_problem wikiPageOutDegree "15".
- Tarskis_exponential_function_problem wikiPageRevisionID "691491920".
- Tarskis_exponential_function_problem wikiPageWikiLink Alfred_Tarski.
- Tarskis_exponential_function_problem wikiPageWikiLink Category:Model_theory.
- Tarskis_exponential_function_problem wikiPageWikiLink Category:Unsolved_problems_in_mathematics.
- Tarskis_exponential_function_problem wikiPageWikiLink Decidability_(logic).
- Tarskis_exponential_function_problem wikiPageWikiLink Exponential_function.
- Tarskis_exponential_function_problem wikiPageWikiLink Exponential_polynomial.
- Tarskis_exponential_function_problem wikiPageWikiLink Model_theory.
- Tarskis_exponential_function_problem wikiPageWikiLink Necessity_and_sufficiency.
- Tarskis_exponential_function_problem wikiPageWikiLink Ordered_ring.
- Tarskis_exponential_function_problem wikiPageWikiLink Real_closed_field.
- Tarskis_exponential_function_problem wikiPageWikiLink Real_number.
- Tarskis_exponential_function_problem wikiPageWikiLink Schanuels_conjecture.
- Tarskis_exponential_function_problem wikiPageWikiLink Singular_point_of_a_curve.
- Tarskis_exponential_function_problem wikiPageWikiLink Theory_(mathematical_logic).
- Tarskis_exponential_function_problem wikiPageWikiLinkText "Tarski's exponential function problem".
- Tarskis_exponential_function_problem first "S.".
- Tarskis_exponential_function_problem id "M/m110160".
- Tarskis_exponential_function_problem last "Kuhlmann".
- Tarskis_exponential_function_problem title "Model theory of the real exponential function".
- Tarskis_exponential_function_problem wikiPageUsesTemplate Template:Citation.
- Tarskis_exponential_function_problem wikiPageUsesTemplate Template:Harvtxt.
- Tarskis_exponential_function_problem wikiPageUsesTemplate Template:Springer.
- Tarskis_exponential_function_problem subject Category:Model_theory.
- Tarskis_exponential_function_problem subject Category:Unsolved_problems_in_mathematics.
- 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.".
- Tarskis_exponential_function_problem label "Tarski's exponential function problem".
- Tarskis_exponential_function_problem sameAs Q7686758.
- Tarskis_exponential_function_problem sameAs m.03qnb94.
- Tarskis_exponential_function_problem sameAs Q7686758.
- Tarskis_exponential_function_problem wasDerivedFrom Tarskis_exponential_function_problem?oldid=691491920.
- Tarskis_exponential_function_problem isPrimaryTopicOf Tarskis_exponential_function_problem.