Е. А. Колмаков, “Об одном усилении теоремы о неизоморфизме алгебр доказуемости”, Докл. РАН. Матем., информ., проц. упр., 499 (2021), 26–30 ; E. A. Kolmakov, “On a strengthening of the non-isomorphism theorem for provability algebras”, Dokl. Math., 104:1 (2021), 180–183
Joosten J.J., “Munchhausen Provability”, J. Symb. Log., 86:3 (2021), 1006–1034
Pakhomov F. Walsh J., “Reflection Ranks and Ordinal Analysis”, J. Symb. Log., 86:4 (2021), PII S0022481220000092, 1350–1384
Willard D.E., “About the Characterization of a Fine Line That Separates Generalizations and Boundary-Case Exceptions For the Second Incompleteness Theorem Under Semantic Tableau Deduction”, J. Logic Comput., 31:1 (2021), 375–392
Reyes E.H., Joosten J.J., “the Logic of Turing Progressions”, Notre Dame J. Form. Log., 61:1 (2020), 155–180
Kolmakov E., “Local Reflection, Definable Elements and 1-Provability”, Arch. Math. Log., 59:7-8 (2020), 979–996
Willard D.E., “On the Tender Line Separating Generalizations and Boundary-Case Exceptions For the Second Incompleteness Theorem Under Semantic Tableaux Deduction”, Logical Foundations of Computer Science (Lfcs 2020), Lecture Notes in Computer Science, 11972, eds. Artemov S., Nerode A., Springer International Publishing Ag, 2020, 268–286
Salehi S., “Godel'S Second Incompleteness Theorem: How It Is Derived and What It Delivers”, Bull. Symb. Log., 26:3-4 (2020), PII S1079898620000360, 241–256
Bagaria J., “Derived Topologies on Ordinals and Stationary Reflection”, Trans. Am. Math. Soc., 371:3 (2019), 1981–2002
Montalban A., Walsh J., “On the Inevitability of the Consistency Operator”, J. Symb. Log., 84:1 (2019), 205–225