𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Index Sets of Finite Classes of Recursively Enumerable Sets

✍ Scribed by Louise Hay


Book ID
124959309
Publisher
Association for Symbolic Logic
Year
1969
Tongue
English
Weight
586 KB
Volume
34
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The Index Set of Injectively Enumerable
✍ Stephan Wehner πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 372 KB

## 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