An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory

Mathematical Logic Quarterly 43 (3):369-377 (1997)
  Copy   BIBTEX


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 Kelley‐Morse theory (KM) in GPK∞+ (Theorem 3.7). This needs a preliminary property which give an interpretation of the Zermelo‐Fraenkel set theory (ZF) in GPK∞+. We also see what happens in the original GPK theory. Before doing this, we first need to study the basic properties of the theory. This is done in the first two sections.



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

39 (#419,517)

6 months
8 (#411,621)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.
The consistency problem for positive comprehension principles.M. Forti & R. Hinnion - 1989 - Journal of Symbolic Logic 54 (4):1401-1418.
Inconsistency of GPK + AFA.Olivier Esser - 1996 - Mathematical Logic Quarterly 42 (1):104-108.

Add more references