×

Metamathematics of the alternative set theory. III. (English) Zbl 0531.03031

Summary: In the paper we continue the investigation of metamathematics of the Alternative Set Theory [cf. parts I and II, ibid. 20, 697-722 (1979; Zbl 0433.03028) and ibid. 23, 55-79 (1982; Zbl 0493.03030)]. We show independence of axioms of this theory and some basic facts about models of this theory in ZF.

MSC:

03E70 Nonclassical and second-order set theories
03H99 Nonstandard models