Geodesic
A sentence that is difficult to interpret
Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 4, pp. 661-666 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03E30, 03E99, 03F25 
@article{CMUC_1981_22_4_a2,
     author = {\v{S}vejdar, V{\'\i}t\v{e}zslav},
     title = {A sentence that is difficult to interpret},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {661--666},
     year = {1981},
     volume = {22},
     number = {4},
     mrnumber = {647015},
     zbl = {0484.03032},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a2/}
}
TY  - JOUR
AU  - Švejdar, Vítězslav
TI  - A sentence that is difficult to interpret
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1981
SP  - 661
EP  - 666
VL  - 22
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a2/
LA  - en
ID  - CMUC_1981_22_4_a2
ER  - 
%0 Journal Article
%A Švejdar, Vítězslav
%T A sentence that is difficult to interpret
%J Commentationes Mathematicae Universitatis Carolinae
%D 1981
%P 661-666
%V 22
%N 4
%U http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a2/
%G en
%F CMUC_1981_22_4_a2
Švejdar, Vítězslav. A sentence that is difficult to interpret. Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 4, pp. 661-666. http://geodesic.mathdoc.fr/item/CMUC_1981_22_4_a2/

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

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

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

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