✦ LIBER ✦

Representability op recursively enumerable sets in formal theories

✍ Scribed by Ehrenfeucht, A. ;Feferman, S.

Publisher: Springer-Verlag
Year: 1960
Weight: 269 KB
Volume: 5
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf01977641

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Representability of recursively enumerab

Representability of recursively enumerable sets in formal theories

✍ Shepherdson, J. C. 📂 Article 📅 1961 🏛 Springer-Verlag ⚖ 417 KB

Embedding relations in the lattice of re

Embedding relations in the lattice of recursively enumerable sets

✍ Alton, Donald A. 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 256 KB

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

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

Partially ordered sets of 1-degrees, con

Partially ordered sets of 1-degrees, contained in recursively enumerable m-degrees

✍ A. N. Degtev 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 566 KB