✦ LIBER ✦

Embedding relations in the lattice of recursively enumerable sets

✍ Scribed by Alton, Donald A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some lattice-invariant properties of cla

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

∑5-completeness of index sets arising fr

✍ Michael A. Jahn 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 795 KB

Solvability of the∀∃-theory of a certain

✍ A. N. Degtev 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 562 KB

Representability of recursively enumerab

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

Property of t-retraceability and automor

✍ Yu. D. Shmidt 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 645 KB

The semilattice of computable families o

✍ A. N. Degtev 📂 Article 📅 1991 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 228 KB