๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory

โœ Scribed by V. K. Zakharov; E. I. Bunina; A. V. Mikhalev; P. V. Andreev


Publisher
Springer US
Year
2006
Tongue
English
Weight
711 KB
Volume
138
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


An Interpretation of the Zermelo-Fraenke
โœ 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