Pi01 encodability and omniscient reductions
From MaRDI portal
Publication:6271099
DOI10.1215/00294527-2018-0020zbMath1529.03219arXiv1603.01086MaRDI QIDQ6271099
Publication date: 3 March 2016
Other degrees and reducibilities in computability and recursion theory (03D30) Higher-type and set recursion theory (03D65)
This page was built for publication: Pi01 encodability and omniscient reductions