![](/img/cover-not-exists.png)
$\Pi ^{0}_{1}$ -Encodability and Omniscient Reductions
Monin, Benoit, Patey, LudovicVolume:
60
Year:
2019
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1215/00294527-2018-0020
File:
PDF, 364 KB
2019