EVGENY A. KOLMAKOV, “ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS”, The Review of Symbolic Logic, 17, no. 1, 2024, 206
Pawel Pawlowski, Rafal Urbaniak, “Informal provability and dialetheism”, Theoria, 89, no. 2, 2023, 204
Rafal Urbaniak, Pawel Pawlowski, Introduction to Formal Philosophy, 2018, 191
F. N. Pakhomov, “On elementary theories of ordinal notation systems based on reflection principles”, Proc. Steklov Inst. Math., 289, no. 1, 2015, 194
Kentaro Sato, “Ordinal analyses for monotone and cofinal transfinite inductions”, Arch. Math. Logic, 59, no. 3-4, 2020, 277
Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60, no. 2, 2005, 3
David FernÁndez-Duque, Joost J Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann, “Arithmetical and Hyperarithmetical Worm Battles”, Journal of Logic and Computation, 32, no. 8, 2022, 1558
EVGENY KOLMAKOV, LEV BEKLEMISHEV, “AXIOMATIZATION OF PROVABLE n-PROVABILITY”, J. symb. log., 84, no. 02, 2019, 849
Albert Visser, “The predicative Frege hierarchy”, Annals of Pure and Applied Logic, 160, no. 2, 2009, 129
Anton Freund, Fedor Pakhomov, “Short Proofs for Slow Consistency”, Notre Dame J. Formal Logic, 61, no. 1, 2020