✦ LIBER ✦

Constructive Zermelo–Fraenkel set theory and the limited principle of omniscience

✍ Scribed by Rathjen, Michael

Book ID: 121404363
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 272 KB
Volume: 165
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2013.08.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Elementary Equivalence and Constructible

Elementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory

✍ R. H. Cowen 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 402 KB 👁 1 views

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

The ∀n∃-Completeness of Zermelo-Fraenkel

The ∀n∃-Completeness of Zermelo-Fraenkel Set Theory

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

The theory of Zermelo-Fraenkel sets with

The theory of Zermelo-Fraenkel sets with Hilbert ɛ-terms

✍ V. N. Grishin 📂 Article 📅 1972 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 224 KB

On a Family of Models of Zermelo-Fraenke

On a Family of Models of Zermelo-Fraenkel Set Theory

✍ Bruno Scarpellini 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 916 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