O druhém Hilbertově problému (Otázka bezespornosti aritmetiky) Jiří Bečvář (1971) Pokroky matematiky, fyziky a astronomie
On a unification problem related to Kreisel's conjecture Pavel Pudlák (1988) Commentationes Mathematicae Universitatis Carolinae
On interpretability in theories containing arithmetic. II. Petr Hájek (1981) Commentationes Mathematicae Universitatis Carolinae