✦ LIBER ✦

Typed lambda-calculus in classical Zermelo-Frænkel set theory

✍ Scribed by Jean-Louis Krivine

Publisher: Springer
Year: 2001
Tongue: English
Weight: 128 KB
Volume: 40
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s001530000057

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extensionality in Zermelo-Fraenkel Set T

Extensionality in Zermelo-Fraenkel Set Theory

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

Canonical form of Tarski sets in Zermelo

Canonical form of Tarski sets in Zermelo-Fraenkel set theory

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

Replacement versus collection and relate

Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory

✍ Michael Rathjen 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 284 KB

An Interpretation of the Zermelo-Fraenke

An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory

✍ Olivier Esser 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 530 KB

## Abstract An interesting positive theory is the GPK theory. The models of this theory include all hyperuniverses (see [5] for a definition of these ones). Here we add a form of the axiom of infinity and a new scheme to obtain GPK~∞~^+^. We show that in these conditions, we can interprete the Kell