Geodesic
On interpretability in set theories. II
Commentationes Mathematicae Universitatis Carolinae, Tome 13 (1972) no. 3, pp. 445-455

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR   Zbl

Classification : 02F35, 02K05, 02K15, 03B99, 03D55, 03E30, 03E35, 03E99 
Hájek, Petr. On interpretability in set theories. II. Commentationes Mathematicae Universitatis Carolinae, Tome 13 (1972) no. 3, pp. 445-455. http://geodesic.mathdoc.fr/item/CMUC_1972_13_3_a4/
@article{CMUC_1972_13_3_a4,
     author = {H\'ajek, Petr},
     title = {On interpretability in set theories. {II}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {445--455},
     year = {1972},
     volume = {13},
     number = {3},
     mrnumber = {0323566},
     zbl = {0251.02064},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1972_13_3_a4/}
}
TY  - JOUR
AU  - Hájek, Petr
TI  - On interpretability in set theories. II
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1972
SP  - 445
EP  - 455
VL  - 13
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/CMUC_1972_13_3_a4/
LA  - en
ID  - CMUC_1972_13_3_a4
ER  - 
%0 Journal Article
%A Hájek, Petr
%T On interpretability in set theories. II
%J Commentationes Mathematicae Universitatis Carolinae
%D 1972
%P 445-455
%V 13
%N 3
%U http://geodesic.mathdoc.fr/item/CMUC_1972_13_3_a4/
%G en
%F CMUC_1972_13_3_a4

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

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

[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