Enumeration of Recursive Sets
- 1 December 1959
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 24 (4) , 311
- https://doi.org/10.2307/2963902
Abstract
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.Keywords
This publication has 1 reference indexed in Scilit: