• DML-CZ Home

03F25 Relative consistency and interpretations (6 articles)

• Hájek, Petr: Partial conservativity revisited. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 4, pp. 679-690
• Sochor, Antonín; Vopěnka, Petr: Shiftings of the horizon. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 1, pp. 127-136
• Hájek, Petr: On interpretability in theories containing arithmetic. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 667-688
• Švejdar, Vítězslav: A sentence that is difficult to interpret. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 661-666
• Švejdar, Vítězslav: Degrees of interpretability. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 4, pp. 789-813
• Bečvář, Jiří: O druhém Hilbertově problému (Otázka bezespornosti aritmetiky). (Czech) [On the second Hilbert's problem (Question of the consistency arithmetics)]. Pokroky matematiky, fyziky a astronomie, vol. 16 (1971), issue 5, pp. 225-237