Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/PA_degree> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- PA_degree abstract "In recursion theory, a mathematical discipline, a PA degree is a Turing degree that computes a complete extension of Peano arithmetic (Jockusch 1987). These degrees are closely related to fixed-point-free (DNR) functions, and have been thoroughly investigated in recursion theory.".
- PA_degree wikiPageID "22822116".
- PA_degree wikiPageLength "5016".
- PA_degree wikiPageOutDegree "20".
- PA_degree wikiPageRevisionID "607155049".
- PA_degree wikiPageWikiLink Antonín_Kučera.
- PA_degree wikiPageWikiLink Carl_Jockusch.
- PA_degree wikiPageWikiLink Category:Computability_theory.
- PA_degree wikiPageWikiLink Computability_theory.
- PA_degree wikiPageWikiLink Computable_function.
- PA_degree wikiPageWikiLink Halting_problem.
- PA_degree wikiPageWikiLink Indicator_function.
- PA_degree wikiPageWikiLink Kxc3xb6nigs_lemma.
- PA_degree wikiPageWikiLink Low_basis_theorem.
- PA_degree wikiPageWikiLink Partial_order.
- PA_degree wikiPageWikiLink Partially_ordered_set.
- PA_degree wikiPageWikiLink Peano_arithmetic.
- PA_degree wikiPageWikiLink Peano_axioms.
- PA_degree wikiPageWikiLink Preorder.
- PA_degree wikiPageWikiLink Recursion_theory.
- PA_degree wikiPageWikiLink Robert_I._Soare.
- PA_degree wikiPageWikiLink Robert_Soare.
- PA_degree wikiPageWikiLink Transactions_of_the_American_Mathematical_Society.
- PA_degree wikiPageWikiLink Turing_degree.
- PA_degree wikiPageWikiLink Turing_reducibility.
- PA_degree wikiPageWikiLink Turing_reduction.
- PA_degree wikiPageWikiLinkText "computing a completion of Peano Arithmetic".
- PA_degree hasPhotoCollection PA_degree.
- PA_degree wikiPageUsesTemplate Template:Orphan.
- PA_degree subject Category:Computability_theory.
- PA_degree hypernym Degree.
- PA_degree type University.
- PA_degree comment "In recursion theory, a mathematical discipline, a PA degree is a Turing degree that computes a complete extension of Peano arithmetic (Jockusch 1987). These degrees are closely related to fixed-point-free (DNR) functions, and have been thoroughly investigated in recursion theory.".
- PA_degree label "PA degree".
- PA_degree sameAs m.063zdhz.
- PA_degree sameAs Q7118319.
- PA_degree sameAs Q7118319.
- PA_degree wasDerivedFrom PA_degree?oldid=607155049.
- PA_degree isPrimaryTopicOf PA_degree.