Definable Encodings in the Computably Enumerable Sets
Cholak, Peter A., Harrington, Leo A.Volume:
6
Language:
english
Journal:
Bulletin of Symbolic Logic
DOI:
10.2307/421206
Date:
June, 2000
File:
PDF, 372 KB
english, 2000