On interpretability in set theories. II.

Previous | Up | Next

Article

On interpretability in set theories. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 445-455

MSC: 02F35, 02K05, 02K15, 03B99, 03D55, 03E30, 03E35, 03E99 | MR 0323566 | Zbl 0251.02064

References:

[1] S. FEFERMAN: Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae 49 (1966), 35-92. MR 0147397

[2] P. HÁJEK: On inteгpretability in set theoгies. Comment. Math. Univ. Carolinae 12 (1971), 73-79. MR 0311470

[3] M. HÁJKOVÁ P. HÁJEK: On interpretability in theories containing arithmetic. Fundamenta Mathematicae LXXVI (1972) (to appeaг).

[4] P. VOPĚNKA: A new proof of Gödel's result on non-provability of consistency. Bull. Acad. Polon. Sci. XIV (1966), 111-115. MR 0207546

Partner of