On the Jumps of the Degrees Below a Recursively Enumerable Degree
Belanger, David R., Shore, Richard A.Volume:
59
Year:
2018
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1215/00294527-2017-0014
File:
PDF, 427 KB
english, 2018