Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/True_arithmetic> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples 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 is occasionally called Skolem arithmetic, though this term usually refers to the different theory of natural numbers with multiplication.".
- True_arithmetic wikiPageID "22156658".
- True_arithmetic wikiPageLength "8170".
- True_arithmetic wikiPageOutDegree "37".
- True_arithmetic wikiPageRevisionID "614321692".
- True_arithmetic wikiPageWikiLink Alfred_Tarski.
- True_arithmetic wikiPageWikiLink Analytical_hierarchy.
- True_arithmetic wikiPageWikiLink Annals_of_Mathematics.
- True_arithmetic wikiPageWikiLink Arithmetic.
- True_arithmetic wikiPageWikiLink Arithmetical_hierarchy.
- True_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- True_arithmetic wikiPageWikiLink Category:Model_theory.
- True_arithmetic wikiPageWikiLink Complete_theory.
- True_arithmetic wikiPageWikiLink Domain_of_discourse.
- True_arithmetic wikiPageWikiLink Elementary_equivalence.
- True_arithmetic wikiPageWikiLink First-order_logic.
- True_arithmetic wikiPageWikiLink Gödel_numbering.
- True_arithmetic wikiPageWikiLink Interpretation_(logic).
- True_arithmetic wikiPageWikiLink Mathematical_logic.
- True_arithmetic wikiPageWikiLink Natural_number.
- True_arithmetic wikiPageWikiLink Non-standard_model_of_arithmetic.
- True_arithmetic wikiPageWikiLink Partially_ordered_set.
- True_arithmetic wikiPageWikiLink Peano_axioms.
- True_arithmetic wikiPageWikiLink Posts_theorem.
- True_arithmetic wikiPageWikiLink Recursive_set.
- True_arithmetic wikiPageWikiLink Recursively_enumerable_set.
- True_arithmetic wikiPageWikiLink Second-order_arithmetic.
- True_arithmetic wikiPageWikiLink Sentence_(logic).
- True_arithmetic wikiPageWikiLink Signature_(logic).
- True_arithmetic wikiPageWikiLink Stable_theory.
- True_arithmetic wikiPageWikiLink Structure_(mathematical_logic).
- True_arithmetic wikiPageWikiLink Tarskis_undefinability_theorem.
- True_arithmetic wikiPageWikiLink Theory_(mathematical_logic).
- True_arithmetic wikiPageWikiLink Turing_degree.
- True_arithmetic wikiPageWikiLink Type_(model_theory).
- True_arithmetic wikiPageWikiLinkText "True arithmetic".
- True_arithmetic wikiPageWikiLinkText "true arithmetic".
- True_arithmetic wikiPageUsesTemplate Template:Citation.
- True_arithmetic subject Category:Formal_theories_of_arithmetic.
- True_arithmetic subject Category:Model_theory.
- True_arithmetic hypernym Set.
- True_arithmetic type Theory.
- 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 is occasionally called Skolem arithmetic, though this term usually refers to the different theory of natural numbers with multiplication.".
- True_arithmetic label "True arithmetic".
- True_arithmetic sameAs Q7847560.
- True_arithmetic sameAs 真の算術.
- True_arithmetic sameAs m.05q85w9.
- True_arithmetic sameAs Q7847560.
- True_arithmetic wasDerivedFrom True_arithmetic?oldid=614321692.
- True_arithmetic isPrimaryTopicOf True_arithmetic.