Degrees of interpretability
Švejdar, Vítězslav
Commentationes Mathematicae Universitatis Carolinae, Tome 019 (1978), p. 789-813 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1978-01-01
Classification:  02D99,  02G99,  03B30,  03D35,  03F25,  06A20 
@article{105894,
     author = {V\'\i t\v ezslav \v Svejdar},
     title = {Degrees of interpretability},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {019},
     year = {1978},
     pages = {789-813},
     zbl = {0407.03020},
     mrnumber = {518190},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105894}
}

Švejdar, Vítězslav. Degrees of interpretability. Commentationes Mathematicae Universitatis Carolinae, Tome 019 (1978) pp. 789-813. http://gdmltest.u-ga.fr/item/105894/

S. Feferman Arithmetization of metamathematics in a general setting, Fund. Math. 49 (1960), 35-92. (1960) | MR 0147397 | Zbl 0095.24301

D. Guaspari Partially conservative extensions of arithmetic, to appear. | MR 0539907 | Zbl 0417.03030

P. Hájek On interpretability in set theories II, Comment. Math. Univ. Carolinae 13 (1972), 445-455. (1972) | MR 0323566

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

R. G. Jeroslow Consistency statements in formal theories, Fund. Math. 72 (1971), 17-40. (1971) | MR 0299476 | Zbl 0254.02038

J. Mycielski A lattice of interpretability types of theories, J. Symb. Logic 42 (1977), 297-305. (1977) | MR 0505480 | Zbl 0371.02026

P. Vopěnka P. Hájek The theory of semisets, North Holland, Amsterdam, and Academia, Prague, 1972. (1972) | MR 0444473

P. Vopěnka P. Hájek Existence of a generalized semantic model of Gödel-Bernays set theory, Bull. Acad. Pol. Sci. 12 (1973), 1079-1086. (1973) | MR 0422024