Classes of Recursive Functions and Their Index Sets
β Scribed by F. D. Lewis
- Publisher
- John Wiley and Sons
- Year
- 1971
- Tongue
- English
- Weight
- 237 KB
- Volume
- 17
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
TOPOLOGICAL SIZE OF SETS O F PARTIAL RECURSIVE FUNCTIONS by CRISTIAN CALUDE in Bucharest (Romania) l) 1) I wish to thank Prof. G. WECHSUNG for helpful comments on this work.
## Abstract I introduce an effective enumeration of all effective enumerations of classes of r. e. sets and define with this the index set __IE__ of injectively enumerable classes. It is easy to see that this set is β~5~ in the Arithmetical Hierarchy and I describe a proof for the β~5~βhardness of
## Abstract We define a class of soβcalled β(__n__)βsets as a natural closure of recursively enumerable sets __W__~n~ under the relation βββ and study its properties.