𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Stephan Wehner

Publisher
John Wiley and Sons
Year
1994
Tongue
English
Weight
372 KB
Volume
40
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 IE.

Mathematics Subject Classification: 03D25, 03D45.

📜 SIMILAR VOLUMES

On a Class of Recursively Enumerable Set
On a Class of Recursively Enumerable Sets
✍ Farzad Didehvar 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 225 KB 👁 1 views

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

Coding in the Partial Order of Enumerabl
Coding in the Partial Order of Enumerable Sets
✍ Leo Harrington; André Nies 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 489 KB

We develop methods for coding with first-order formulas into the partial order E of enumerable sets under inclusion. First we use them to reprove and generalize the (unpublished) result of the first author that the elementary theory of E has the same computational complexity as the theory of the nat

Operative surgery: Covering the operativ
Operative surgery: Covering the operative technique involved in the operations of general and special surgery. By Warren Stone Bickham, M.D., F.A.C.S., New York. Vol. VI and Index Volume; pp. 908, with 1224 illustrations. The whole work complete in six volumes, and free index volume. In complete sets only. London and Philadelphia: W. B. Saunders Co., Ltd. Per vol. 50s. net
📂 Article 📅 1926 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB 👁 3 views