✦ LIBER ✦

On Predicates with Constructive Infinitely Long Expressionsby Gaisi Takeuti; Akiko Kino

✍ Scribed by Review by: Thomas Frayne

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Hierarchies of Predicates of ordinal

✍ Review by: Wayne Richter 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 331 KB

On Definability of Ordinals in Logic wit

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

Remarks on Predicate Logic with Infinite

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

Some Remarks on Infinitely Long Formulas

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

On Definability of Ordinals in Logic wit

✍ Akiko Kino 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 827 KB