✦ LIBER ✦

Some Proofs of Independence in Axiomatic Set Theory

✍ Scribed by Elliott Mendelson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Proofs of Independence in Axiomatic

✍ Review by: Dana Scott 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 503 KB

Independence-friendly logic and axiomati

✍ Jaakko Hintikka 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 250 KB

BOOLEAN-VALUED MODELS AND INDEPENDENCE P

📂 Article 📅 1979 🏛 John Wiley and Sons ⚖ 217 KB

Simplified Independence Proofs. Boolean

✍ Review by: Aleksander Rutkowski 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 322 KB

Proof schemata in Hilbert-type axiomatic

✍ V. P. Orevkov 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 734 KB

INDEPENDENCE PROOFS AND THE THEORY OF IM

✍ V. F. Lenzen 📂 Article 📅 1919 🏛 Oxford University Press 🌐 English ⚖ 682 KB