✦ LIBER ✦

The Hanf Number of Second Order Logic

✍ Scribed by K. Jon Barwise

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Hanf Number of Souslin Logic

✍ John P. Burgess 📂 Article 📅 1978 🏛 Association for Symbolic Logic 🌐 English ⚖ 128 KB

Hanf Number of Omitting Type for Simple

✍ Saharon Shelah 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 178 KB

The Hanf Number of the First Order Theor

✍ Saharon Shelah and Jacques Stern 📂 Article 📅 1978 🏛 American Mathematical Society 🌐 English ⚖ 697 KB

Pure Second-Order Logic with Second-Orde

✍ Paseau, Alexander 📂 Article 📅 2010 🏛 University of Notre Dame 🌐 English ⚖ 167 KB

Reduction of second-order logic to modal

✍ S. K. Thomason 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 464 KB

A Defense of Second-Order Logic

✍ Otávio Bueno 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 288 KB