𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


On a Class of Recursively Enumerable Set
✍ 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.