| dbo:abstract |
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 (without the exponential function) is decidable. (en) Na teoria dos modelos, o problema da função exponencial de Tarski pergunta se a teoria dos números reais junto com a função exponencial é decidível. Alfred Tarski tinha mostrado anteriormente que a teoria dos números reais (sem a função exponencial) é decidível. (pt) |
| dbo:wikiPageID |
16073214 (xsd:integer) |
| dbo:wikiPageLength |
4139 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1033527234 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Model_theory dbr:Decidability_(logic) dbr:Decidability_of_first-order_theories_of_the_real_numbers dbr:Schanuel's_conjecture dbc:Unsolved_problems_in_mathematics dbr:Ordered_ring dbr:Sine dbr:Singular_point_of_a_curve dbr:Alfred_Tarski dbr:Exponential_function dbr:Necessary_and_sufficient_condition dbc:Model_theory dbr:Theory_(mathematical_logic) dbr:Real_closed_field dbr:Real_number dbr:Exponential_polynomial |
| dbp:first |
S. (en) |
| dbp:id |
M/m110160 (en) |
| dbp:last |
Kuhlmann (en) |
| dbp:title |
Model theory of the real exponential function (en) |
| dbp:wikiPageUsesTemplate |
dbt:Springer dbt:Citation dbt:Harv dbt:Harvtxt dbt:Mvar |
| dct:subject |
dbc:Unsolved_problems_in_mathematics dbc:Model_theory |
| rdf:type |
yago:WikicatUnsolvedProblemsInMathematics yago:Abstraction100002137 yago:Attribute100024264 yago:Condition113920835 yago:Difficulty114408086 yago:Problem114410605 yago:State100024720 |
| rdfs:comment |
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 (without the exponential function) is decidable. (en) Na teoria dos modelos, o problema da função exponencial de Tarski pergunta se a teoria dos números reais junto com a função exponencial é decidível. Alfred Tarski tinha mostrado anteriormente que a teoria dos números reais (sem a função exponencial) é decidível. (pt) |
| rdfs:label |
Problema da função exponencial de Tarski (pt) Tarski's exponential function problem (en) |
| owl:sameAs |
freebase:Tarski's exponential function problem yago-res:Tarski's exponential function problem wikidata:Tarski's exponential function problem dbpedia-pt:Tarski's exponential function problem https://global.dbpedia.org/id/4vixQ |
| prov:wasDerivedFrom |
wikipedia-en:Tarski's_exponential_function_problem?oldid=1033527234&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Tarski's_exponential_function_problem |
| is dbo:wikiPageRedirects of |
dbr:Model_theory_of_the_real_exponential_function |
| is dbo:wikiPageWikiLink of |
dbr:Decidability_(logic) dbr:Decidability_of_first-order_theories_of_the_real_numbers dbr:List_of_mathematical_logic_topics dbr:Schanuel's_conjecture dbr:Ordered_exponential_field dbr:Exponential_field dbr:List_of_things_named_after_Alfred_Tarski dbr:List_of_unsolved_problems_in_mathematics dbr:Tarski's_problem dbr:Model_theory_of_the_real_exponential_function |
| is foaf:primaryTopic of |
wikipedia-en:Tarski's_exponential_function_problem |