Sochor, Antonin Metamathematics of the alternative set theory. II. (English) Zbl 0493.03030 Commentat. Math. Univ. Carol. 23, 55-79 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 1 Document MSC: 03E70 Nonclassical and second-order set theories 03H99 Nonstandard models Keywords:formalizations of Cantor’s set theory; interpretability; second and third order arithmetics; equivalence of axiomatic systems Citations:Zbl 0433.03028 × Cite Format Result Cite Review PDF Full Text: EuDML