✦ LIBER ✦

On Spector's bar recursion

✍ Scribed by Paulo Oliva; Thomas Powell

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Degrees of Recursive Unsolvabilityby

✍ Review by: Martin Davis 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 157 KB

The equivalence of bar recursion and ope

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

On Bar Recursion of Types 0 and 1

✍ Helmut Schwichtenberg 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 151 KB

Recursive Ordinals and Predicative Set T

✍ Review by: D. A. Clarke 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 186 KB

On Recursive Definitions in Empirical Sc

✍ Review by: Abner Shimony 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 89 KB

A note on Spector's quantifier-free rule

✍ Ulrich Kohlenbach 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 33 KB