• DML-CZ Home

03F35 Second- and higher-order arithmetic and fragments (4 articles)

• Celani, Sergio A.: Deductive systems of BCK-algebras. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 43 (2004), issue 1, pp. 27-32
• Pudlák, Pavel: On a unification problem related to Kreisel's conjecture. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 551-556
• Hájek, Petr: On interpretability in theories containing arithmetic. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 667-688
• 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