Eduardo Hermo Reyes, Joost J. Joosten. The Logic of Turing Progressions. Notre Dame Journal of Formal Logic, 61(1):155-180, 2020. [doi]
@article{ReyesJ20, title = {The Logic of Turing Progressions}, author = {Eduardo Hermo Reyes and Joost J. Joosten}, year = {2020}, doi = {10.1215/00294527-2019-0037}, url = {https://doi.org/10.1215/00294527-2019-0037}, researchr = {https://researchr.org/publication/ReyesJ20}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {61}, number = {1}, pages = {155-180}, }