About: Formal theories of arithmetic

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	11504157 (xsd:integer)
dbo:wikiPageRevisionID	683495183 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Formal theories of arithmetic (en)
skos:broader	dbc:Formal_theories dbc:Arithmetic dbc:Mathematical_logic
skos:prefLabel	Formal theories of arithmetic (en)
prov:wasDerivedFrom	wikipedia-en:Category:Formal_theories_of_arithmetic?oldid=683495183&ns=14
is dbo:wikiPageWikiLink of	dbr:Elementary_function_arithmetic dbr:Peano_axioms dbr:Decidability_of_first-order_theories_of_the_real_numbers dbr:Induction,_bounding_and_least_number_principles dbr:Presburger_arithmetic dbr:Bounded_arithmetic dbr:Primitive_recursive_arithmetic dbr:Typographical_Number_Theory dbr:Robinson_arithmetic dbr:Non-standard_model_of_arithmetic dbr:True_arithmetic dbr:Heyting_arithmetic dbr:Büchi_arithmetic dbr:Second-order_arithmetic dbr:Skolem_arithmetic dbr:Tarski's_axiomatization_of_the_reals dbr:Existential_theory_of_the_reals
is dcterms:subject of	dbr:Elementary_function_arithmetic dbr:Peano_axioms dbr:Decidability_of_first-order_theories_of_the_real_numbers dbr:Induction,_bounding_and_least_number_principles dbr:Presburger_arithmetic dbr:Bounded_arithmetic dbr:Primitive_recursive_arithmetic dbr:Typographical_Number_Theory dbr:Robinson_arithmetic dbr:Non-standard_model_of_arithmetic dbr:True_arithmetic dbr:Heyting_arithmetic dbr:Büchi_arithmetic dbr:Second-order_arithmetic dbr:Skolem_arithmetic dbr:Tarski's_axiomatization_of_the_reals dbr:Existential_theory_of_the_reals
is skos:related of	dbc:Mathematical_axioms

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License