Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Elementary_function_arithmetic> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Elementary_function_arithmetic abstract "In proof theory, a branch of mathematical logic, elementary function arithmetic, also called EFA, elementary arithmetic and exponential function arithmetic, 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 wikiPageLength "5179".
- Elementary_function_arithmetic wikiPageOutDegree "24".
- Elementary_function_arithmetic wikiPageRevisionID "696118335".
- Elementary_function_arithmetic wikiPageWikiLink Annals_of_Mathematics.
- Elementary_function_arithmetic wikiPageWikiLink Cambridge_University_Press.
- Elementary_function_arithmetic wikiPageWikiLink Category:Conjectures.
- Elementary_function_arithmetic wikiPageWikiLink Category:Proof_theory.
- Elementary_function_arithmetic wikiPageWikiLink Disjoint-set_data_structure.
- Elementary_function_arithmetic wikiPageWikiLink ELEMENTARY.
- Elementary_function_arithmetic wikiPageWikiLink Fermats_Last_Theorem.
- Elementary_function_arithmetic wikiPageWikiLink Grzegorczyk_hierarchy.
- Elementary_function_arithmetic wikiPageWikiLink Harvey_Friedman.
- Elementary_function_arithmetic wikiPageWikiLink Mathematical_induction.
- Elementary_function_arithmetic wikiPageWikiLink Mathematical_logic.
- Elementary_function_arithmetic wikiPageWikiLink Ordinal_analysis.
- Elementary_function_arithmetic wikiPageWikiLink Peano_axioms.
- Elementary_function_arithmetic wikiPageWikiLink Primitive_recursive_arithmetic.
- Elementary_function_arithmetic wikiPageWikiLink Proof_theory.
- Elementary_function_arithmetic wikiPageWikiLink Ramsey_theory.
- Elementary_function_arithmetic wikiPageWikiLink Reverse_mathematics.
- Elementary_function_arithmetic wikiPageWikiLink Robertson–Seymour_theorem.
- Elementary_function_arithmetic wikiPageWikiLink Robinson_arithmetic.
- Elementary_function_arithmetic wikiPageWikiLink Szemerédi_regularity_lemma.
- Elementary_function_arithmetic wikiPageWikiLink Tarskis_high_school_algebra_problem.
- Elementary_function_arithmetic wikiPageWikiLinkText "Elementary function arithmetic".
- Elementary_function_arithmetic wikiPageWikiLinkText "Elementary function arithmetic#Friedman's grand conjecture".
- Elementary_function_arithmetic wikiPageWikiLinkText "elementary function arithmetic".
- Elementary_function_arithmetic wikiPageWikiLinkText "grand conjecture".
- Elementary_function_arithmetic b "0".
- Elementary_function_arithmetic b "2".
- Elementary_function_arithmetic p "*".
- Elementary_function_arithmetic p "0".
- Elementary_function_arithmetic wikiPageUsesTemplate Template:Citation.
- Elementary_function_arithmetic wikiPageUsesTemplate Template:Harv.
- Elementary_function_arithmetic wikiPageUsesTemplate Template:Harvtxt.
- Elementary_function_arithmetic wikiPageUsesTemplate Template:Su.
- Elementary_function_arithmetic subject Category:Conjectures.
- Elementary_function_arithmetic subject Category:Proof_theory.
- Elementary_function_arithmetic hypernym System.
- Elementary_function_arithmetic type Conjecture.
- Elementary_function_arithmetic type Proof.
- Elementary_function_arithmetic type Statement.
- Elementary_function_arithmetic type Statement.
- Elementary_function_arithmetic comment "In proof theory, a branch of mathematical logic, elementary function arithmetic, also called EFA, elementary arithmetic and exponential function arithmetic, 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 Q5358906.
- Elementary_function_arithmetic sameAs 初等関数算術.
- Elementary_function_arithmetic sameAs m.0cmdw4t.
- Elementary_function_arithmetic sameAs Temel_fonksiyon_aritmetiği.
- Elementary_function_arithmetic sameAs Q5358906.
- Elementary_function_arithmetic wasDerivedFrom Elementary_function_arithmetic?oldid=696118335.
- Elementary_function_arithmetic isPrimaryTopicOf Elementary_function_arithmetic.