✦ LIBER ✦

A Completeness Theorem for Zermelo-Fraenkel Set Theory

✍ Scribed by William C. Powell

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The ∀n∃-Completeness of Zermelo-Fraenkel

✍ Daniel Gogol 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 147 KB 👁 1 views

Zermelo Fraenkel Set Theory 001

📂 Library 🌐 English ⚖ 809 KB

Extensionality in Zermelo-Fraenkel Set T

✍ R. Hinnion 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 561 KB

Lifschitz realizability for intuitionist

✍ Chen, Ray-Ming; Rathjen, Michael 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 367 KB

Canonical form of Tarski sets in Zermelo

✍ E. I. Bunina; V. K. Zakharov 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 154 KB

On a Family of Models of Zermelo-Fraenke

✍ Bruno Scarpellini 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 916 KB