✦ LIBER ✦

∑5-completeness of index sets arising from the lattice of recursively enumerable sets

✍ Scribed by Michael A. Jahn

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 795 KB
Volume: 80
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(95)00055-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Ideals of Generalized Finite Sets in Lat

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

✍ Manuel Lerman 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 444 KB

The Structure of the Lattice of Recursiv

The Structure of the Lattice of Recursive Sets

✍ Bernhard G. Goetze 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 281 KB 👁 1 views

A Hopf algebra arising from the lattice

A Hopf algebra arising from the lattice of partitions of a set

✍ Peter Doubilet 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 292 KB

On Lifting of Ω-Operations From the Cate

On Lifting of Ω-Operations From the Category of Sets to the Category of Enumerated Sets

✍ Andrzej Orlicki 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 679 KB

The Index of a Point Lattice in a Set

✍ B. Uhrin 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 424 KB