Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Hyperarithmetical_theory> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items 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 wikiPageRevisionID "577532664".
- Hyperarithmetical_theory hasPhotoCollection Hyperarithmetical_theory.
- Hyperarithmetical_theory subject Category:Computability_theory.
- Hyperarithmetical_theory subject Category:Hierarchy.
- 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 m.02w27f7.
- Hyperarithmetical_theory sameAs Q17028365.
- Hyperarithmetical_theory sameAs Q17028365.
- Hyperarithmetical_theory wasDerivedFrom Hyperarithmetical_theory?oldid=577532664.
- Hyperarithmetical_theory isPrimaryTopicOf Hyperarithmetical_theory.