✦ LIBER ✦

The Uniform Regular Set Theorem in α-Recursion Theory

✍ Scribed by Wolfgang Maass

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The operator gap theorem in α-recursion

✍ Paola, Robert A. 📂 Article 📅 1978 🏛 Springer-Verlag ⚖ 928 KB

Measure-Theoretic Uniformity in Recursio

✍ Gerald E. Sacks 📂 Article 📅 1969 🏛 American Mathematical Society 🌐 English ⚖ 827 KB

Maximal sets in α-recursion theory

✍ M. Lerman; S. G. Simpson 📂 Article 📅 1973 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 534 KB

Existence of an inseparable pair in the

✍ V. D. Rudnev 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 385 KB

Expressibility in the elementary theory

✍ R. K. Prank 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 735 KB

The lack of definable witnesses and prov

✍ Harvey M Friedman; Andrej Ščedrov 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 691 KB