×

Metamathematics of the alternative set theory. I. (English) Zbl 0433.03028


MSC:

03E70 Nonclassical and second-order set theories
03E35 Consistency and independence results