Finite set theory, number theory and axioms of limitation
β Scribed by Kenneth R. Brown; Hao Wang
- Publisher
- Springer
- Year
- 1966
- Tongue
- English
- Weight
- 264 KB
- Volume
- 164
- Category
- Article
- ISSN
- 0025-5831
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract A survey of the isomorphic submodels of __V__~Ο~, the set of hereditarily finite sets. In the usual language of set theory, __V__~Ο~ has 2^β΅^0 isomorphic submodels. But other setβtheoretic languages give different systems of submodels. For example, the language of adjunction allows only
We propose a set theory, called NRFST, in which the Cantorian axiom of infinity is negated, and a new notion of infinity is introduced via non standard methods, i . e . via adequate notions of standard and internal, two unary predicates added to the language of ZF. After some initial results on NRFS
## Abstract This is a study of the relative interpretability of the axiom of extensionality in the positive set theory. This work has to be considered in the line of works of R. O. Gandy, D. Scott and R. Hinnion who have studied the relative interpretability of the axiom of extensionality in set th