On a Family of Models of Zermelo-Fraenkel Set Theory
β Scribed by Bruno Scarpellini
- Publisher
- John Wiley and Sons
- Year
- 1966
- Tongue
- English
- Weight
- 916 KB
- Volume
- 12
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## 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
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
has proposed a new axiomatic set theory, see [5], [4], and [3]. The nonlogical axioms of this theory are as follows: A2. Existence of a greatest lower set (gls A(%)):