| Title:
|
On interpretability in set theories (English) |
| Author:
|
Hájek, Petr |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
12 |
| Issue:
|
1 |
| Year:
|
1971 |
| Pages:
|
73-79 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02F20 |
| MSC:
|
02G05 |
| MSC:
|
02K05 |
| MSC:
|
03E35 |
| MSC:
|
03E99 |
| idZBL:
|
Zbl 0231.02087 |
| idMR:
|
MR0311470 |
| . |
| Date available:
|
2008-06-05T20:34:40Z |
| Last updated:
|
2012-04-27 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105330 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/105433 |
| . |
| Reference:
|
[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 0159745 |
| Reference:
|
[2] S. FEFERMAN: Arithmetization of mathematics in a general setting.Fund. Math. 49 (1960), 36-92. MR 0147397 |
| Reference:
|
[3] P. HÁJEK: Syntactic models of axiomatic theories.Bull. Acad. Polon. Sci. XIII (1965), 273-278. MR 0184857 |
| Reference:
|
[4] M. HÁJKOVÁ: The lattice of bi-numerations of arithmetic.Comment. Math. Univ. Carolinae 12 (1971), 81-104. MR 0284336 |
| Reference:
|
[5] G. KREISEL: A survey of proof theory.Journ. Symb. Logic 33 (1968), 321-388. Zbl 0177.01002, MR 0281580 |
| Reference:
|
[6] J. R. SHOENFIELD: A relative consistency proof.Journ. Symb. Logic 19 (1954), 21-28. Zbl 0055.00404, MR 0060433 |
| Reference:
|
[7] A. TARSKI A. MOSTOWSKI R. M. ROBINSON: Undecidable theories.(North Holland Publ. Comp., Amsterdam 1953). MR 0058532 |
| Reference:
|
[8] P. VOPĚNKA: Nezavisimost' kontinuum-gipotezy.Comment. Math. Univ. Carolinae 5 (1964), Supplementum. MR 0214460 |
| Reference:
|
[9] P. VOPĚNKA: General theory of $\nabla $ -models.Comment. Math. Univ. Carolinae 8 (1967), 145-170. MR 0214460 |
| . |
