On the Consistency of a Positive Theory

In positive theories, we have an axiom scheme of comprehension for positive formulas. We study here the “generalized positive” theory GPK_∞⁺. Natural models of this theory are hyperuniverses. The author has shown in [2] that GPK_∞⁺ interprets the Kelley Morse class theory. Here we prove that GPK_∞⁺ + AC_WF (AC_WF being a form of the axiom of choice allowing to choose elements in well-founded sets) and the Kelley-Morse class theory with the axiom of global choice and the axiom “On is ramifiable” are mutually interpretable. This shows that GPK_∞⁺ + AC_WF is a “strong” theory since “On is ramifiable” implies the existence of a proper class of inaccessible cardinals.