Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Elementary_function_arithmetic> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- Elementary_function_arithmetic abstract "In proof theory, a branch of mathematical logic, elementary function arithmetic or exponential function arithmetic (EFA) is the system of arithmetic with the usual elementary properties of 0, 1, +, ×, xy, together with induction for formulas with bounded quantifiers.EFA is a very weak logical system, whose proof theoretic ordinal is ω3, but still seems able to prove much of ordinary mathematics that can be stated in the language of first-order arithmetic.".
- Elementary_function_arithmetic wikiPageExternalLink 003014.html.
- Elementary_function_arithmetic wikiPageExternalLink sosoa.
- Elementary_function_arithmetic wikiPageID "28037920".
- Elementary_function_arithmetic wikiPageRevisionID "586465685".
- Elementary_function_arithmetic b "0".
- Elementary_function_arithmetic b "2".
- Elementary_function_arithmetic hasPhotoCollection Elementary_function_arithmetic.
- Elementary_function_arithmetic p "*".
- Elementary_function_arithmetic p "0".
- Elementary_function_arithmetic subject Category:Conjectures.
- Elementary_function_arithmetic subject Category:Proof_theory.
- Elementary_function_arithmetic type Abstraction100002137.
- Elementary_function_arithmetic type Cognition100023271.
- Elementary_function_arithmetic type Concept105835747.
- Elementary_function_arithmetic type Conjectures.
- Elementary_function_arithmetic type Content105809192.
- Elementary_function_arithmetic type Hypothesis105888929.
- Elementary_function_arithmetic type Idea105833840.
- Elementary_function_arithmetic type PsychologicalFeature100023100.
- Elementary_function_arithmetic type Speculation105891783.
- Elementary_function_arithmetic comment "In proof theory, a branch of mathematical logic, elementary function arithmetic or exponential function arithmetic (EFA) is the system of arithmetic with the usual elementary properties of 0, 1, +, ×, xy, together with induction for formulas with bounded quantifiers.EFA is a very weak logical system, whose proof theoretic ordinal is ω3, but still seems able to prove much of ordinary mathematics that can be stated in the language of first-order arithmetic.".
- Elementary_function_arithmetic label "Elementary function arithmetic".
- Elementary_function_arithmetic sameAs m.0cmdw4t.
- Elementary_function_arithmetic sameAs Q5358906.
- Elementary_function_arithmetic sameAs Q5358906.
- Elementary_function_arithmetic sameAs Elementary_function_arithmetic.
- Elementary_function_arithmetic wasDerivedFrom Elementary_function_arithmetic?oldid=586465685.
- Elementary_function_arithmetic isPrimaryTopicOf Elementary_function_arithmetic.