๐”– Bobbio Scriptorium
โœฆ   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

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