A sentence that is difficult to interpret
Švejdar, Vítězslav
Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981), p. 661-666 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1981-01-01
Classification:  03E30,  03E99,  03F25 
@article{106109,
     author = {V\'\i t\v ezslav \v Svejdar},
     title = {A sentence that is difficult to interpret},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {022},
     year = {1981},
     pages = {661-666},
     zbl = {0484.03032},
     mrnumber = {647015},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106109}
}

Švejdar, Vítězslav. A sentence that is difficult to interpret. Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981) pp. 661-666. http://gdmltest.u-ga.fr/item/106109/

P. Hájek On interpretability in theories containing arithmetic II, to appear. | MR 0647016

M. Hájková P. Hájek On interpretability in theories containing arithmetic, Fund. Math. 76 (1972), 131-137. (1972) | MR 0307897

J. R. Shoenfield Mathematical Logic, Addison Wesley 1967. (1967) | MR 0225631 | Zbl 0155.01102

R. Solovay Interpretability in set theories, in preparation.