✦ LIBER ✦

On a Theorem of Vaughtby Leon Henkin

✍ Scribed by Review by: Dana Scott

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Solution of a Problem of Leon Henkin

✍ M. H. Lob 📂 Article 📅 1955 🏛 Association for Symbolic Logic 🌐 English ⚖ 296 KB

A Generalization of the Notion of ω-Cons

✍ Review by: W. W. Tait 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 KB

A Generalization of the Concept of ω-Com

✍ Review by: William W. Tait 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 107 KB

On the Primitive Symbols of Quine's "Mat

✍ Review by: Steven Orey 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 90 KB

A Löwenheim-Skolem Theorem for Cardinals

✍ Review by: G. Fuhrken 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 355 KB

Note on a Problem of L. Henkin

✍ Abraham Robinson 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 302 KB