Sochor, Antonin Metamathematics of the alternative set theory. I. (English) Zbl 0433.03028 Commentat. Math. Univ. Carol. 20, 697-722 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 3 Documents MSC: 03E70 Nonclassical and second-order set theories 03E35 Consistency and independence results Keywords:alternative set theory; formal system; Kelley-Morse set theory; formalization of metamathematics PDF BibTeX XML Cite \textit{A. Sochor}, Commentat. Math. Univ. Carol. 20, 697--722 (1979; Zbl 0433.03028) Full Text: EuDML