Decidability of first-order theories of the real numbers

Property	Value
rdf:type	owl:NamedIndividual Real number Formal theory of arithmetic
rdfs:label	Decidability of first-order theories of the real numbers
owl:sameAs	dbr:Decidability_of_first-order_theories_of_the_real_numbers
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_theories_of_arithmetic http://en.wikipedia.org/wiki/Category:Real_numbers
skos:prefLabel	Decidability of first-order theories of the real numbers
skos:altLabel	Complications decidability theory of the real numbers (without the exponential function) is decidable may change decidability decidability of first-order theories of the real numbers

About: clgr:Decidability_of_first-order_theories_of_the_real_numbers