✦ LIBER ✦

Representability of recursively enumerable sets in formal theories

✍ Scribed by Shepherdson, J. C.

Publisher: Springer-Verlag
Year: 1961
Weight: 417 KB
Volume: 5
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf01974157

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Representability op recursively enumerab

Representability op recursively enumerable sets in formal theories

✍ Ehrenfeucht, A. ;Feferman, S. 📂 Article 📅 1960 🏛 Springer-Verlag ⚖ 269 KB

Recursively Enumerable Images of Arithme

Recursively Enumerable Images of Arithmetic Sets

✍ Richard Rosenberg 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 656 KB

Onm- degrees of recursively enumerable s

Onm- degrees of recursively enumerable sets

✍ S. D. Denisov 📂 Article 📅 1970 🏛 Springer US 🌐 English ⚖ 279 KB

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.

On discrete families of recursively enum

On discrete families of recursively enumerable sets

✍ V. V. V'yugin 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 789 KB

On sQ-completeness of recursively enumer

On sQ-completeness of recursively enumerable sets

✍ R. Sh. Omanadze 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 232 KB