Matches in DBpedia 2014 for { <http://dbpedia.org/resource/True_arithmetic> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- True_arithmetic abstract "In mathematical logic, true arithmetic is the set of all true statements about the arithmetic of natural numbers (Boolos, Burgess, and Jeffrey 2002:295). This is the theory associated with the standard model of the Peano axioms in the language of the first-order Peano axioms.".
- True_arithmetic wikiPageID "22156658".
- True_arithmetic wikiPageRevisionID "578649901".
- True_arithmetic hasPhotoCollection True_arithmetic.
- True_arithmetic subject Category:Formal_theories_of_arithmetic.
- True_arithmetic subject Category:Model_theory.
- True_arithmetic type Abstraction100002137.
- True_arithmetic type Cognition100023271.
- True_arithmetic type Explanation105793000.
- True_arithmetic type FormalTheoriesOfArithmetic.
- True_arithmetic type HigherCognitiveProcess105770664.
- True_arithmetic type Process105701363.
- True_arithmetic type PsychologicalFeature100023100.
- True_arithmetic type Theory105989479.
- True_arithmetic type Thinking105770926.
- True_arithmetic comment "In mathematical logic, true arithmetic is the set of all true statements about the arithmetic of natural numbers (Boolos, Burgess, and Jeffrey 2002:295). This is the theory associated with the standard model of the Peano axioms in the language of the first-order Peano axioms.".
- True_arithmetic label "True arithmetic".
- True_arithmetic label "真の算術".
- True_arithmetic sameAs 真の算術.
- True_arithmetic sameAs m.05q85w9.
- True_arithmetic sameAs Q7847560.
- True_arithmetic sameAs Q7847560.
- True_arithmetic sameAs True_arithmetic.
- True_arithmetic wasDerivedFrom True_arithmetic?oldid=578649901.
- True_arithmetic isPrimaryTopicOf True_arithmetic.