✦ LIBER ✦

Ideals of Generalized Finite Sets in Lattices of α-Recursively Enumerable Sets

✍ Scribed by Manuel Lerman

Publisher: John Wiley and Sons
Year: 1976
Tongue: English
Weight: 444 KB
Volume: 22
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19760220145

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

DEFINABILITY OF RECURSIVELY ENUMERABLE S

DEFINABILITY OF RECURSIVELY ENUMERABLE SETS IN ABSTRACT COMPUTATIONAL COMPLEXITY THEORY

✍ Robert E. Byerly 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 330 KB

The Index Set of Injectively Enumerable

The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑5-Complete

✍ 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