On interpretability in set theories. II.
Commentationes Mathematicae Universitatis Carolinae (1972)
- Volume: 013, Issue: 3, page 445-455
- ISSN: 0010-2628
Access Full Article
topHow to cite
topReferences
top- S. FEFERMAN, Arithmetization of metamathematics in a general setting, Fundamenta Mathematicae 49 (1966), 35-92. (1966) MR0147397
- P. HÁJEK, On inteгpretability in set theoгies, Comment. Math. Univ. Carolinae 12 (1971), 73-79. (1971) MR0311470
- M. HÁJKOVÁ P. HÁJEK, On interpretability in theories containing arithmetic, Fundamenta Mathematicae LXXVI (1972) (to appeaг). (1972)
- P. VOPĚNKA, A new proof of Gödel's result on non-provability of consistency, Bull. Acad. Polon. Sci. XIV (1966), 111-115. (1966) MR0207546