O aplikacích matematické logiky na matematiku Bronisłav Knaster (1951) Časopis pro pěstování matematiky
O prvním Hilbertově problému (Hypotéza kontinua a axióm výběru) Petr Vopěnka (1971) Pokroky matematiky, fyziky a astronomie