✦ LIBER ✦

Recursive Equivalence Types and Groups

✍ Scribed by Matthew J. Hassett

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Infinite Products of Recursive Equivalen

✍ Don C. Ferguson 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 774 KB

Recursive Equivalence Types and Combinat

✍ Review by: J. C. E. Dekker 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 300 KB

The uniqueness of finite division for re

✍ Richard Friedberg 📂 Article 📅 1961 🏛 Springer-Verlag 🌐 French ⚖ 181 KB

The equivalence of bar recursion and ope

✍ Powell, Thomas 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 575 KB

Recursive Density Types. I

✍ H. Gonshor and G. Rice 📂 Article 📅 1969 🏛 American Mathematical Society 🌐 English ⚖ 266 KB

Equivalence of Some Definitions of Recur

✍ F. Lowenthal 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 238 KB