O druhém Hilbertově problému (Otázka bezespornosti aritmetiky) Jiří Bečvář (1971) Pokroky matematiky, fyziky a astronomie
On interpretability in theories containing arithmetic. II. Petr Hájek (1981) Commentationes Mathematicae Universitatis Carolinae