Previous |  Up |  Next


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:
Related article:
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


Files Size Format View
CommentatMathUnivCarol_013-1972-3_5.pdf 803.7Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo