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 4 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 × Cite Format Result Cite Review PDF Full Text: EuDML