Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Skolem_arithmetic> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Skolem_arithmetic abstract "Skolem arithmetic is the first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem. The signature of Skolem arithmetic contains only the multiplication operation and equality, omitting the addition operation entirely.Skolem arithmetic is much weaker than Peano arithmetic, which includes both addition and multiplication operations. Unlike Peano arithmetic, Skolem arithmetic is a decidable theory. This means it is possible to effectively determine, for any sentence in the language of Skolem arithmetic, whether that sentence is provable from the axioms of Skolem arithmetic. The asymptotic running-time computational complexity of this decision problem is triply exponential, however.".
- Skolem_arithmetic wikiPageID "6694711".
- Skolem_arithmetic wikiPageLength "1287".
- Skolem_arithmetic wikiPageOutDegree "12".
- Skolem_arithmetic wikiPageRevisionID "662182990".
- Skolem_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Skolem_arithmetic wikiPageWikiLink Computational_complexity_theory.
- Skolem_arithmetic wikiPageWikiLink Decidability_(logic).
- Skolem_arithmetic wikiPageWikiLink Decision_problem.
- Skolem_arithmetic wikiPageWikiLink First-order_logic.
- Skolem_arithmetic wikiPageWikiLink First-order_predicate_calculus.
- Skolem_arithmetic wikiPageWikiLink Multiplication.
- Skolem_arithmetic wikiPageWikiLink Natural_number.
- Skolem_arithmetic wikiPageWikiLink Peano_arithmetic.
- Skolem_arithmetic wikiPageWikiLink Peano_axioms.
- Skolem_arithmetic wikiPageWikiLink Robinson_arithmetic.
- Skolem_arithmetic wikiPageWikiLink Signature_(logic).
- Skolem_arithmetic wikiPageWikiLink Signature_(mathematical_logic).
- Skolem_arithmetic wikiPageWikiLink Thoralf_Skolem.
- Skolem_arithmetic wikiPageWikiLinkText "Skolem arithmetic".
- Skolem_arithmetic hasPhotoCollection Skolem_arithmetic.
- Skolem_arithmetic wikiPageUsesTemplate Template:Cite_web.
- Skolem_arithmetic wikiPageUsesTemplate Template:Other_uses.
- Skolem_arithmetic subject Category:Formal_theories_of_arithmetic.
- Skolem_arithmetic hypernym Theory.
- Skolem_arithmetic type Book.
- Skolem_arithmetic type Theory.
- Skolem_arithmetic comment "Skolem arithmetic is the first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem. The signature of Skolem arithmetic contains only the multiplication operation and equality, omitting the addition operation entirely.Skolem arithmetic is much weaker than Peano arithmetic, which includes both addition and multiplication operations. Unlike Peano arithmetic, Skolem arithmetic is a decidable theory.".
- Skolem_arithmetic label "Skolem arithmetic".
- Skolem_arithmetic sameAs m.0k2bqft.
- Skolem_arithmetic sameAs Q7536198.
- Skolem_arithmetic sameAs Q7536198.
- Skolem_arithmetic wasDerivedFrom Skolem_arithmetic?oldid=662182990.
- Skolem_arithmetic isPrimaryTopicOf Skolem_arithmetic.