𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Contributions to the Theory of Semisets I. Relations of the theory of semisets to the Zermelo-Fraenkel set theory

✍ Scribed by Petr Hájek

Publisher
John Wiley and Sons
Year
1972
Tongue
English
Weight
513 KB
Volume
18
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Note that [2] is the oldest survey paper on the theory of semisets and differs considerably from the final version of [l].

16 Ztmhr. f. math. Logik

📜 SIMILAR VOLUMES

Contributions to the theory of semisets
Contributions to the theory of semisets V: On the axiom of general collapse
✍ Petr Vopênka; Antonín Sochor 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 1019 KB

## CONTRIBUTIONS TO THE THEORY OF SEMISETS V On the axiom of general collapse In the article we prove the consistency of some important axioms of the theory of scwiisets (TSS). The method we use differs from the method of [ll] since in [113 the basic model is the ultraproduct and here it is the mo

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

Contribution to the theory of semisets V
Contribution to the theory of semisets VI: (Non-existence of the class of all absolute natural numbers)
✍ Antonin Sochor 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 299 KB 👁 1 views

Z e a c h r . i. d. L & k und Qrundlagen d . A ¶&. Hd. P I , S. 439-412 (1975) CONTRIBUTION TO THE THEORY OF SEMISETS VI (Non-existence of the class of all absolute natural numbers) by ANTONIT SOCHOR in Prague (C.S.S.R.) .4n important concept-the class of all absolute natural numbers has been intro