𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The operator gap theorem in α-recursion theory

✍ Scribed by Paola, Robert A.

Publisher
Springer-Verlag
Year
1978
Weight
928 KB
Volume
19
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Normal form Theorem for Recursive Oper
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces
✍ D. Skordev 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 473 KB

A XORMAL FORM THEOREM FOR RECURSIVE OPERATORS Lemma 2. All elements of 9 ? and the element I are perfect. If E and rj are perfect elements of 9, then (t, q ) is also perfect. Proof. Obvious from the definition. L e m m a 3. Let [ be a perfect element of 9. Then Vp(L(p7, [) = 9 & R ( [ . y ) = 9).