On Weak Theories of Sets and Classes which are Based on Strict ∏

Andrea Cantini. On Weak Theories of Sets and Classes which are Based on Strict ∏. Math. Log. Q., 31(21-23):321-332, 1985. [doi]

Abstract

Abstract is missing.