Sochor, Antonin Metamathematics of the alternative set theory. III. (English) Zbl 0531.03031 Commentat. Math. Univ. Carol. 24, 137-154 (1983). 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. Cited in 1 ReviewCited in 1 Document MSC: 03E70 Nonclassical and second-order set theories 03H99 Nonstandard models Keywords:alternative set theory; independence; interpretation; consistency; semantical model; ultrapower Citations:Zbl 0433.03028; Zbl 0493.03030 × Cite Format Result Cite Review PDF Full Text: EuDML