Wilkie's theorem

http://dbpedia.org/resource/Wilkie's_theorem an entity of type: WikicatTheoremsInTheFoundationsOfMathematics

In mathematics, Wilkie's theorem is a result by Alex Wilkie about the theory of ordered fields with an exponential function, or equivalently about the geometric nature of exponential varieties. rdf:langString
rdf:langString Wilkie's theorem
xsd:integer 22304328
xsd:integer 1033926069
rdf:langString In mathematics, Wilkie's theorem is a result by Alex Wilkie about the theory of ordered fields with an exponential function, or equivalently about the geometric nature of exponential varieties.
xsd:nonNegativeInteger 4692
yago:WikicatTheoremsInTheFoundationsOfMathematics
yago:Abstraction100002137
yago:Communication100033020
yago:Message106598915
yago:Proposition106750804
yago:Statement106722453
yago:Theorem106752293
<http://dbpedia.org/resource/Category:Theorems_in_the_foundations_of_mathematics>
<http://dbpedia.org/resource/Category:Model_theory>
<http://dbpedia.org/resource/Quantifier_elimination>
<http://dbpedia.org/resource/Model_theory>
<http://dbpedia.org/resource/Definable_set>
<http://dbpedia.org/resource/Analytic_function>
<http://dbpedia.org/resource/Analytic_geometry>
<http://dbpedia.org/resource/Mathematics>
<http://dbpedia.org/resource/Pfaffian_function>
<http://dbpedia.org/resource/Ordered_field>
<http://dbpedia.org/resource/Ordered_ring>
<http://dbpedia.org/resource/Alex_Wilkie>
<http://dbpedia.org/resource/Exponential_function>
<http://dbpedia.org/resource/Field_(mathematics)>
<http://dbpedia.org/resource/Category:Theorems_in_the_foundations_of_mathematics>
<http://dbpedia.org/resource/Well-formed_formula>
<http://dbpedia.org/resource/Category:Model_theory>
<http://dbpedia.org/resource/Polynomial>
<http://dbpedia.org/resource/Integer>
<http://dbpedia.org/resource/Real_number>
<http://dbpedia.org/resource/Logically_equivalent>
<http://dbpedia.org/resource/Subanalytic_set>
<http://dbpedia.org/resource/Exponential_field>
<http://dbpedia.org/resource/Exponential_polynomial>
<http://dbpedia.org/resource/Model_complete>
<http://rdf.freebase.com/ns/m.05sz0pc>
<http://yago-knowledge.org/resource/Wilkie's_theorem>
<http://www.wikidata.org/entity/Q8002487>
<https://global.dbpedia.org/id/4xXt7>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Result>
<http://en.wikipedia.org/wiki/Wilkie's_theorem?oldid=1033926069&ns=0>
<http://en.wikipedia.org/wiki/Wilkie's_theorem>

data from the linked data cloud