𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some lattice-invariant properties of classes of recursively enumerable sets

✍ Scribed by A. N. Degtev


Publisher
Springer US
Year
1988
Tongue
English
Weight
404 KB
Volume
27
Category
Article
ISSN
0002-5232

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