Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Hyperarithmetical_theory> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Hyperarithmetical_theory abstract "In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory.".
- Hyperarithmetical_theory wikiPageExternalLink LogikkII.pdf.
- Hyperarithmetical_theory wikiPageExternalLink dst.pdf.
- Hyperarithmetical_theory wikiPageExternalLink 1235422631.
- Hyperarithmetical_theory wikiPageID "12383591".
- Hyperarithmetical_theory wikiPageLength "12399".
- Hyperarithmetical_theory wikiPageOutDegree "35".
- Hyperarithmetical_theory wikiPageRevisionID "705088146".
- Hyperarithmetical_theory wikiPageWikiLink Admissible_ordinal.
- Hyperarithmetical_theory wikiPageWikiLink Alpha_recursion_theory.
- Hyperarithmetical_theory wikiPageWikiLink Analytical_hierarchy.
- Hyperarithmetical_theory wikiPageWikiLink Arithmetical_hierarchy.
- Hyperarithmetical_theory wikiPageWikiLink Arithmetical_set.
- Hyperarithmetical_theory wikiPageWikiLink Category:Computability_theory.
- Hyperarithmetical_theory wikiPageWikiLink Category:Hierarchy.
- Hyperarithmetical_theory wikiPageWikiLink Computability_theory.
- Hyperarithmetical_theory wikiPageWikiLink Computable_function.
- Hyperarithmetical_theory wikiPageWikiLink Effective_descriptive_set_theory.
- Hyperarithmetical_theory wikiPageWikiLink Effective_join.
- Hyperarithmetical_theory wikiPageWikiLink Infimum_and_supremum.
- Hyperarithmetical_theory wikiPageWikiLink Julia_F._Knight.
- Hyperarithmetical_theory wikiPageWikiLink Kripke–Platek_set_theory.
- Hyperarithmetical_theory wikiPageWikiLink Large_countable_ordinal.
- Hyperarithmetical_theory wikiPageWikiLink Many-one_reduction.
- Hyperarithmetical_theory wikiPageWikiLink Natural_number.
- Hyperarithmetical_theory wikiPageWikiLink Ordinal_notation.
- Hyperarithmetical_theory wikiPageWikiLink Ordinal_number.
- Hyperarithmetical_theory wikiPageWikiLink Pairing_function.
- Hyperarithmetical_theory wikiPageWikiLink Peano_axioms.
- Hyperarithmetical_theory wikiPageWikiLink Recursive_ordinal.
- Hyperarithmetical_theory wikiPageWikiLink Second-order_arithmetic.
- Hyperarithmetical_theory wikiPageWikiLink Set_theory.
- Hyperarithmetical_theory wikiPageWikiLink Tarskis_undefinability_theorem.
- Hyperarithmetical_theory wikiPageWikiLink Turing_degree.
- Hyperarithmetical_theory wikiPageWikiLink Turing_jump.
- Hyperarithmetical_theory wikiPageWikiLink Turing_reduction.
- Hyperarithmetical_theory wikiPageWikiLink Type_theory.
- Hyperarithmetical_theory wikiPageWikiLinkText "Hyperarithmetical theory".
- Hyperarithmetical_theory wikiPageWikiLinkText "Hyperarithmetical theory#Hyperarithmetical sets".
- Hyperarithmetical_theory wikiPageWikiLinkText "Hyperarithmetical theory#Hyperarithmetical_sets_and_iterated_Turing_jumps:_the_hyperarithmetical_hierarchy".
- Hyperarithmetical_theory wikiPageWikiLinkText "Hyperarithmetical_theory".
- Hyperarithmetical_theory wikiPageWikiLinkText "Hyperarithmetical_theory#Relativized hyperarithmeticity and hyperdegrees".
- Hyperarithmetical_theory wikiPageWikiLinkText "hyperarithmetic hierarchy".
- Hyperarithmetical_theory wikiPageWikiLinkText "hyperarithmetical theory".
- Hyperarithmetical_theory wikiPageWikiLinkText "hyperarithmetical".
- Hyperarithmetical_theory subject Category:Computability_theory.
- Hyperarithmetical_theory subject Category:Hierarchy.
- Hyperarithmetical_theory hypernym Generalization.
- Hyperarithmetical_theory type Pattern.
- Hyperarithmetical_theory comment "In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory.".
- Hyperarithmetical_theory label "Hyperarithmetical theory".
- Hyperarithmetical_theory sameAs Q17028365.
- Hyperarithmetical_theory sameAs m.02w27f7.
- Hyperarithmetical_theory sameAs Q17028365.
- Hyperarithmetical_theory wasDerivedFrom Hyperarithmetical_theory?oldid=705088146.
- Hyperarithmetical_theory isPrimaryTopicOf Hyperarithmetical_theory.