| Title:
|
On interpretability in set theories. II. (English) |
| Author:
|
Hájek, Petr |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
13 |
| Issue:
|
3 |
| Year:
|
1972 |
| Pages:
|
445-455 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02F35 |
| MSC:
|
02K05 |
| MSC:
|
02K15 |
| MSC:
|
03B99 |
| MSC:
|
03D55 |
| MSC:
|
03E30 |
| MSC:
|
03E35 |
| MSC:
|
03E99 |
| idZBL:
|
Zbl 0251.02064 |
| idMR:
|
MR0323566 |
| . |
| Date available:
|
2008-06-05T20:39:18Z |
| Last updated:
|
2012-04-27 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105433 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/105330 |
| . |
| Reference:
|
[1] S. FEFERMAN: Arithmetization of metamathematics in a general setting.Fundamenta Mathematicae 49 (1966), 35-92. MR 0147397 |
| Reference:
|
[2] P. HÁJEK: On inteгpretability in set theoгies.Comment. Math. Univ. Carolinae 12 (1971), 73-79. MR 0311470 |
| Reference:
|
[3] M. HÁJKOVÁ P. HÁJEK: On interpretability in theories containing arithmetic.Fundamenta Mathematicae LXXVI (1972) (to appeaг). |
| Reference:
|
[4] P. VOPĚNKA: A new proof of Gödel's result on non-provability of consistency.Bull. Acad. Polon. Sci. XIV (1966), 111-115. MR 0207546 |
| . |
