Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q17028365> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- Q17028365 subject Q6511158.
- Q17028365 subject Q7035970.
- Q17028365 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.".
- Q17028365 wikiPageExternalLink LogikkII.pdf.
- Q17028365 wikiPageExternalLink dst.pdf.
- Q17028365 wikiPageExternalLink 1235422631.
- Q17028365 wikiPageWikiLink Q1033906.
- Q17028365 wikiPageWikiLink Q1056428.
- Q17028365 wikiPageWikiLink Q1148456.
- Q17028365 wikiPageWikiLink Q12482.
- Q17028365 wikiPageWikiLink Q1527413.
- Q17028365 wikiPageWikiLink Q15708693.
- Q17028365 wikiPageWikiLink Q17502105.
- Q17028365 wikiPageWikiLink Q191780.
- Q17028365 wikiPageWikiLink Q21199.
- Q17028365 wikiPageWikiLink Q255765.
- Q17028365 wikiPageWikiLink Q2878515.
- Q17028365 wikiPageWikiLink Q3114739.
- Q17028365 wikiPageWikiLink Q3300648.
- Q17028365 wikiPageWikiLink Q3526833.
- Q17028365 wikiPageWikiLink Q4489310.
- Q17028365 wikiPageWikiLink Q4683804.
- Q17028365 wikiPageWikiLink Q4735170.
- Q17028365 wikiPageWikiLink Q5347253.
- Q17028365 wikiPageWikiLink Q574902.
- Q17028365 wikiPageWikiLink Q6128725.
- Q17028365 wikiPageWikiLink Q6511158.
- Q17028365 wikiPageWikiLink Q669094.
- Q17028365 wikiPageWikiLink Q7035970.
- Q17028365 wikiPageWikiLink Q7100790.
- Q17028365 wikiPageWikiLink Q7303347.
- Q17028365 wikiPageWikiLink Q7442973.
- Q17028365 wikiPageWikiLink Q818930.
- Q17028365 wikiPageWikiLink Q842755.
- Q17028365 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.".
- Q17028365 label "Hyperarithmetical theory".