𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by V. N. Grishin

Publisher
SP MAIK Nauka/Interperiodica
Year
1972
Tongue
English
Weight
224 KB
Volume
12
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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