Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Π01_class> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples per page.
- Π01_class abstract "In computability theory, a Π01 class is a subset of 2ω of a certain form. These classes are of interest as a technical tool within recursion theory and effective descriptive set theory. They are also used in the application of recursion theory to other branches of mathematics (Cenzer 1999, p. 39).".
- Π01_class wikiPageID "26004695".
- Π01_class wikiPageLength "4010".
- Π01_class wikiPageOutDegree "11".
- Π01_class wikiPageRevisionID "634453184".
- Π01_class wikiPageWikiLink Arithmetical_hierarchy.
- Π01_class wikiPageWikiLink Borel_hierarchy.
- Π01_class wikiPageWikiLink Category:Computability_theory.
- Π01_class wikiPageWikiLink Computability_theory.
- Π01_class wikiPageWikiLink Computable_set.
- Π01_class wikiPageWikiLink Effective_descriptive_set_theory.
- Π01_class wikiPageWikiLink First-order_logic.
- Π01_class wikiPageWikiLink Lightface.
- Π01_class wikiPageWikiLink Pointclass.
- Π01_class wikiPageWikiLink Recursion_theory.
- Π01_class wikiPageWikiLink Recursive_set.
- Π01_class wikiPageWikiLink Recursively_enumerable.
- Π01_class wikiPageWikiLink Recursively_enumerable_set.
- Π01_class wikiPageWikiLink Tree_(descriptive_set_theory).
- Π01_class wikiPageWikiLinkText "class".
- Π01_class wikiPageWikiLinkText "Π01 class".
- Π01_class hasPhotoCollection Π01_class.
- Π01_class wikiPageUsesTemplate Template:Citation.
- Π01_class subject Category:Computability_theory.
- Π01_class comment "In computability theory, a Π01 class is a subset of 2ω of a certain form. These classes are of interest as a technical tool within recursion theory and effective descriptive set theory. They are also used in the application of recursion theory to other branches of mathematics (Cenzer 1999, p. 39).".
- Π01_class label "Π01 class".
- Π01_class sameAs m.0b6gl53.
- Π01_class sameAs Q8083994.
- Π01_class sameAs Q8083994.
- Π01_class wasDerivedFrom Π01_class?oldid=634453184.
- Π01_class isPrimaryTopicOf Π01_class.