✦ LIBER ✦

Solvability of the∀∃-theory of a certain factor-lattice of recursively enumerable sets

✍ Scribed by A. N. Degtev

Publisher: Springer US
Year: 1978
Tongue: English
Weight: 562 KB
Volume: 17
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01670108

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Some lattice-invariant properties of cla

Some lattice-invariant properties of classes of recursively enumerable sets

✍ A. N. Degtev 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 404 KB

∑5-completeness of index sets arising fr

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

✍ Michael A. Jahn 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 795 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.

Property of t-retraceability and automor

Property of t-retraceability and automorphisms of a lattice of recursively enumerable sets

✍ Yu. D. Shmidt 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 645 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