On interpretability in set theories. II.
Hájek, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 013 (1972), p. 445-455 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1972-01-01
Classification:  02F35,  02K05,  02K15,  03B99,  03D55,  03E30,  03E35,  03E99 
@article{105433,
     author = {Petr H\'ajek},
     title = {On interpretability in set theories. II.},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {013},
     year = {1972},
     pages = {445-455},
     zbl = {0251.02064},
     mrnumber = {0323566},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105433}
}

Hájek, Petr. On interpretability in set theories. II.. Commentationes Mathematicae Universitatis Carolinae, Tome 013 (1972) pp. 445-455. http://gdmltest.u-ga.fr/item/105433/

S. Feferman Arithmetization of metamathematics in a general setting, Fundamenta Mathematicae 49 (1966), 35-92. (1966) | MR 0147397

P. Hájek On inteгpretability in set theoгies, Comment. Math. Univ. Carolinae 12 (1971), 73-79. (1971) | MR 0311470

M. Hájková P. Hájek On interpretability in theories containing arithmetic, Fundamenta Mathematicae LXXVI (1972) (to appeaг). (1972)

P. Vopěnka A new proof of Gödel's result on non-provability of consistency, Bull. Acad. Polon. Sci. XIV (1966), 111-115. (1966) | MR 0207546