Hajek, Petr On interpretability in set theories. II. (English) Zbl 0251.02064 Commentat. Math. Univ. Carol. 13, 445-455 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 Documents MSC: 03E30 Axiomatics of classical set theory and its fragments 03D55 Hierarchies of computability and definability 03E99 Set theory 03B99 General logic 03E35 Consistency and independence results × Cite Format Result Cite Review PDF Full Text: EuDML