✦ LIBER ✦

Transfinite Recursive Progressions of Axiomatic Theoriesby Solomon Feferman

✍ Scribed by Review by: R. A. DiPaola

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Completeness of Some Transfinite

✍ Review by: Steven Savitt 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 211 KB

On the Completeness of Some Transfinite

✍ Jens Erik Fenstad 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 717 KB

Incompleteness along Paths in Progressio

✍ Review by: R. A. DiPaola 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 234 KB

Representability of Recursively Enumerab

✍ Review by: R. A. DiPaola 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

Classifications of Recursive Functions b

✍ Review by: Rózsa Péter 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 360 KB

Degrees of Unsolvability Associated with

✍ Review by: Hartley Rogers, Jr. 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 135 KB