✦ LIBER ✦

Canonical form of Tarski sets in Zermelo-Fraenkel set theory

✍ Scribed by E. I. Bunina; V. K. Zakharov

Publisher: SP MAIK Nauka/Interperiodica
Year: 2005
Tongue: English
Weight: 154 KB
Volume: 77
Category: Article
ISSN: 0001-4346
DOI: 10.1007/s11006-005-0030-2

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

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

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

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

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

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