A sentence that is difficult to interpret

Previous | Up | Next

Article

A sentence that is difficult to interpret. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 661-666

MSC: 03E30, 03E99, 03F25 | MR 647015 | Zbl 0484.03032

References:

[1] P. HÁJEK: On interpretability in theories containing arithmetic II. to appear. MR 0647016

[2] M. HÁJKOVÁ P. HÁJEK: On interpretability in theories containing arithmetic. Fund. Math. 76 (1972), 131-137. MR 0307897

[3] J. R. SHOENFIELD: Mathematical Logic. Addison Wesley 1967. MR 0225631 | Zbl 0155.01102

[4] R. SOLOVAY: Interpretability in set theories. in preparation.

Partner of