Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Recursively_inseparable_sets> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Recursively_inseparable_sets abstract "In computability theory, recursively inseparable sets are pairs of sets of natural numbers that cannot be "separated" with a recursive set (Monk 1976, p. 100). These sets arise in the study of computability theory itself, particularly in relation to Π01 classes. Recursively inseparable sets also arise in the study of Gödel's incompleteness theorem.".
- Recursively_inseparable_sets wikiPageID "26004614".
- Recursively_inseparable_sets wikiPageLength "3144".
- Recursively_inseparable_sets wikiPageOutDegree "11".
- Recursively_inseparable_sets wikiPageRevisionID "677172203".
- Recursively_inseparable_sets wikiPageWikiLink Category:Computability_theory.
- Recursively_inseparable_sets wikiPageWikiLink Computability_theory.
- Recursively_inseparable_sets wikiPageWikiLink Computable_function.
- Recursively_inseparable_sets wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
- Recursively_inseparable_sets wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Recursively_inseparable_sets wikiPageWikiLink Gödel_numbering.
- Recursively_inseparable_sets wikiPageWikiLink Partial_computable_function.
- Recursively_inseparable_sets wikiPageWikiLink Peano_arithmetic.
- Recursively_inseparable_sets wikiPageWikiLink Peano_axioms.
- Recursively_inseparable_sets wikiPageWikiLink Pi01_class.
- Recursively_inseparable_sets wikiPageWikiLink Recursive_set.
- Recursively_inseparable_sets wikiPageWikiLink Recursively_enumerable.
- Recursively_inseparable_sets wikiPageWikiLink Recursively_enumerable_set.
- Recursively_inseparable_sets wikiPageWikiLink Springer-Verlag.
- Recursively_inseparable_sets wikiPageWikiLink Springer_Science+Business_Media.
- Recursively_inseparable_sets wikiPageWikiLink William_Gasarch.
- Recursively_inseparable_sets wikiPageWikiLink Π01_class.
- Recursively_inseparable_sets wikiPageWikiLinkText "Recursively inseparable sets".
- Recursively_inseparable_sets wikiPageWikiLinkText "disjoint recursively enumerable sets which are not separable by any recursive set.".
- Recursively_inseparable_sets wikiPageWikiLinkText "recursively inseparable sets".
- Recursively_inseparable_sets b "1".
- Recursively_inseparable_sets hasPhotoCollection Recursively_inseparable_sets.
- Recursively_inseparable_sets p "0".
- Recursively_inseparable_sets wikiPageUsesTemplate Template:Citation.
- Recursively_inseparable_sets wikiPageUsesTemplate Template:Overbar.
- Recursively_inseparable_sets wikiPageUsesTemplate Template:Su.
- Recursively_inseparable_sets subject Category:Computability_theory.
- Recursively_inseparable_sets hypernym Pairs.
- Recursively_inseparable_sets type FigureSkater.
- Recursively_inseparable_sets comment "In computability theory, recursively inseparable sets are pairs of sets of natural numbers that cannot be "separated" with a recursive set (Monk 1976, p. 100). These sets arise in the study of computability theory itself, particularly in relation to Π01 classes. Recursively inseparable sets also arise in the study of Gödel's incompleteness theorem.".
- Recursively_inseparable_sets label "Recursively inseparable sets".
- Recursively_inseparable_sets sameAs 帰納的分離不能対.
- Recursively_inseparable_sets sameAs m.0b6m25p.
- Recursively_inseparable_sets sameAs Q7303355.
- Recursively_inseparable_sets sameAs Q7303355.
- Recursively_inseparable_sets wasDerivedFrom Recursively_inseparable_sets?oldid=677172203.
- Recursively_inseparable_sets isPrimaryTopicOf Recursively_inseparable_sets.