The Meta-R.E. Sets, but Not the Π11Sets, Can Be Enumerated Without Repetition
James C. Owings, Jr.Volume:
35
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2270513
Date:
June, 1970
File:
PDF, 996 KB
english, 1970