On interpretability in set theories
Hájek, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 012 (1971), p. 73-79 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1971-01-01
Classification:  02F20,  02G05,  02K05,  03E35,  03E99 
@article{105330,
     author = {Petr H\'ajek},
     title = {On interpretability in set theories},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {012},
     year = {1971},
     pages = {73-79},
     zbl = {0231.02087},
     mrnumber = {0311470},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105330}
}

Hájek, Petr. On interpretability in set theories. Commentationes Mathematicae Universitatis Carolinae, Tome 012 (1971) pp. 73-79. http://gdmltest.u-ga.fr/item/105330/

P. J. Cohen The independence of continuum hypothesis, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 1143-1148 and 51 (1964), 105-110. (1963) | MR 0159745

S. Feferman Arithmetization of mathematics in a general setting, Fund. Math. 49 (1960), 36-92. (1960) | MR 0147397

P. Hájek Syntactic models of axiomatic theories, Bull. Acad. Polon. Sci. XIII (1965), 273-278. (1965) | MR 0184857

M. Hájková The lattice of bi-numerations of arithmetic, Comment. Math. Univ. Carolinae 12 (1971), 81-104. (1971) | MR 0284336

G. Kreisel A survey of proof theory, Journ. Symb. Logic 33 (1968), 321-388. (1968) | MR 0281580 | Zbl 0177.01002

J. R. Shoenfield A relative consistency proof, Journ. Symb. Logic 19 (1954), 21-28. (1954) | MR 0060433 | Zbl 0055.00404

A. Tarski A. Mostowski R. M. Robinson Undecidable theories, (North Holland Publ. Comp., Amsterdam 1953). (1953) | MR 0058532

P. Vopěnka Nezavisimost' kontinuum-gipotezy, Comment. Math. Univ. Carolinae 5 (1964), Supplementum. (1964) | MR 0214460

P. Vopěnka General theory of $\nabla $ -models, Comment. Math. Univ. Carolinae 8 (1967), 145-170. (1967) | MR 0214460