Enumeration of Recursive Sets
Yoshindo Suzuki · Journal of Symbolic Logic · 1959
It is known [1] p. 312 that a simultaneous enumeration of the recursively enumerable sets can be achieved by a Σ10-predicate. We shall show that a simultaneous enumeration of the recursive sets can be achieved by a predicate of the same form.