On a weak Kelley-Morse theory of classes
Wiktor V. Marek, Antonín Sochor · Czech digital mathematics library · 1978
We show that in the Kelley-Morse theory of classes without powerset axiom one can interpret the same theory together with the axiom of construetibility aHd some forms of (generalized) continuum hypothesis.An application to interpretability problems of the Alternative Set Theory of Topinka is shown, too.