Geodesic
On interpretability in set theories
Commentationes Mathematicae Universitatis Carolinae, Tome 12 (1971) no. 1, pp. 73-79

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

MR   Zbl

Classification : 02F20, 02G05, 02K05, 03E35, 03E99 
Hájek, Petr. On interpretability in set theories. Commentationes Mathematicae Universitatis Carolinae, Tome 12 (1971) no. 1, pp. 73-79. http://geodesic.mathdoc.fr/item/CMUC_1971_12_1_a9/
@article{CMUC_1971_12_1_a9,
     author = {H\'ajek, Petr},
     title = {On interpretability in set theories},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {73--79},
     year = {1971},
     volume = {12},
     number = {1},
     mrnumber = {0311470},
     zbl = {0231.02087},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1971_12_1_a9/}
}
TY  - JOUR
AU  - Hájek, Petr
TI  - On interpretability in set theories
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1971
SP  - 73
EP  - 79
VL  - 12
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1971_12_1_a9/
LA  - en
ID  - CMUC_1971_12_1_a9
ER  - 
%0 Journal Article
%A Hájek, Petr
%T On interpretability in set theories
%J Commentationes Mathematicae Universitatis Carolinae
%D 1971
%P 73-79
%V 12
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1971_12_1_a9/
%G en
%F CMUC_1971_12_1_a9

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

[2] S. FEFERMAN: Arithmetization of mathematics in a general setting. Fund. Math. 49 (1960), 36-92. | MR

[3] P. HÁJEK: Syntactic models of axiomatic theories. Bull. Acad. Polon. Sci. XIII (1965), 273-278. | MR

[4] M. HÁJKOVÁ: The lattice of bi-numerations of arithmetic. Comment. Math. Univ. Carolinae 12 (1971), 81-104. | MR

[5] G. KREISEL: A survey of proof theory. Journ. Symb. Logic 33 (1968), 321-388. | MR | Zbl

[6] J. R. SHOENFIELD: A relative consistency proof. Journ. Symb. Logic 19 (1954), 21-28. | MR | Zbl

[7] A. TARSKI A. MOSTOWSKI R. M. ROBINSON: Undecidable theories. (North Holland Publ. Comp., Amsterdam 1953). | MR

[8] P. VOPĚNKA: Nezavisimost' kontinuum-gipotezy. Comment. Math. Univ. Carolinae 5 (1964), Supplementum. | MR

[9] P. VOPĚNKA: General theory of $\nabla $ -models. Comment. Math. Univ. Carolinae 8 (1967), 145-170. | MR