✦ LIBER ✦

Lifschitz realizability for intuitionistic Zermelo–Fraenkel set theory

✍ Scribed by Chen, Ray-Ming; Rathjen, Michael

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

A Completeness Theorem for Zermelo-Fraen

✍ William C. Powell 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 160 KB

The ∀n∃-Completeness of Zermelo-Fraenkel

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

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