L. D. Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Изв. РАН. Сер. матем., 89:1 (2025), 3–17 ; Izv. Math., 89:1 (2025), 1–14
Harvey M. Friedman, “Adventures in Gödel Incompleteness”, History and Philosophy of Logic, 2025, 1
Taishi Kurahashi, the author, “Mathematical developments of the incompleteness theorems”, Sugaku Expositions, 2025
А. Л. Семенов, М. А. Бабенко, А. Я. Белов, Н. К. Верещагин, М. Е. Вишникин, Е. Е. Золин, В. Н. Крупский, С. Л. Кузнецов, В. А. Любецкий, А. А. Оноприенко, М. Р. Пентус, С. Ф. Сопрунов, А. А. Сорокин, В. Б. Шехтман, Т. Л. Яворская, “Кафедра математической логики и теории алгоритмов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1, 23–32 ; A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow University Mathematics Bulletin, 80:1 (2025), 23–33
Paulo Guilherme Santos, “Reflexivity of $\omega $-Consistency in a General Setting”, Log. Univers., 2025
Andrés Cordón-Franco, F. Félix Lara-Martín, “Semi-honest subrecursive degrees and the collection rule in arithmetic”, Arch. Math. Logic, 63:1-2 (2024), 163
Piotr Gruza, Mateusz Łełyk, “Varieties of truth definitions”, Arch. Math. Logic, 2024
EVGENY A. KOLMAKOV, “ON SHAVRUKOV'S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS”, The Review of Symbolic Logic, 17:1 (2024), 206
Haruka Kogure, Taishi Kurahashi, “On the conservation results for local reflection principles”, Journal of Logic and Computation, 2024
Л. В. Дворкин, “О логиках доказуемости арифметики Нибергалля”, Изв. РАН. Сер. матем., 88:3 (2024), 61–100 ; L. V. Dvorkin, “On provability logics of Niebergall arithmetic”, Izv. Math., 88:3 (2024), 468–505