✦ LIBER ✦

On Hierarchies of Predicates of ordinal Numbersby Gaisi Takeuti; Akiko Kino

✍ Scribed by Review by: Wayne Richter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Predicates with Constructive Infinite

✍ Review by: Thomas Frayne 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 299 KB

On the Recursive Functions of Ordinal Nu

✍ Review by: Kurt Schütte 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 95 KB

Construction of the Set Theory from the

✍ Review by: Kurt Schütte 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 322 KB

On the Formal Theory of the Ordinal Diag

✍ Review by: Kurt Schütte 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 170 KB

On Definability of Ordinals in Logic wit

✍ Review by: Carol Karp 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 212 KB