On interpretability in set theories

Previous | Up | Next

Article

On interpretability in set theories. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 1, pp. 73-79

MSC: 02F20, 02G05, 02K05, 03E35, 03E99 | MR 0311470 | Zbl 0231.02087

References:

[1] P. J. Cohen: The independence of continuum hypothesis. Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 1143-1148 and 51 (1964), 105-110. MR 0159745

[2] S. FEFERMAN: Arithmetization of mathematics in a general setting. Fund. Math. 49 (1960), 36-92. MR 0147397

[3] P. HÁJEK: Syntactic models of axiomatic theories. Bull. Acad. Polon. Sci. XIII (1965), 273-278. MR 0184857

[4] M. HÁJKOVÁ: The lattice of bi-numerations of arithmetic. Comment. Math. Univ. Carolinae 12 (1971), 81-104. MR 0284336

[5] G. KREISEL: A survey of proof theory. Journ. Symb. Logic 33 (1968), 321-388. MR 0281580 | Zbl 0177.01002

[6] J. R. SHOENFIELD: A relative consistency proof. Journ. Symb. Logic 19 (1954), 21-28. MR 0060433 | Zbl 0055.00404

[7] A. TARSKI A. MOSTOWSKI R. M. ROBINSON: Undecidable theories. (North Holland Publ. Comp., Amsterdam 1953). MR 0058532

[8] P. VOPĚNKA: Nezavisimost' kontinuum-gipotezy. Comment. Math. Univ. Carolinae 5 (1964), Supplementum. MR 0214460

[9] P. VOPĚNKA: General theory of $\nabla $ -models. Comment. Math. Univ. Carolinae 8 (1967), 145-170. MR 0214460

Partner of