- Harvey M. Friedman, “Adventures in Gödel Incompleteness”, History and Philosophy of Logic, 2025, 1

- Lev Dmitrievich Beklemishev, Daniyar Salkarbekovich Shamkanov, Ivan Nikolaevich Smirnov, “Фрагменты арифметики и циклические выводы”, Математический сборник, 216, no. 10, 2025, 3

- Paulo Guilherme Santos, “Reflexivity of $\omega $-Consistency in a General Setting”, Log. Univers., 2025
