EVGENY A. KOLMAKOV, “ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS”, The Review of Symbolic Logic, 17, № 1, 2024, 206
Pawel Pawlowski, Rafal Urbaniak, “Informal provability and dialetheism”, Theoria, 89, № 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, № 1, 2015, 194
Kentaro Sato, “Ordinal analyses for monotone and cofinal transfinite inductions”, Arch. Math. Logic, 59, № 3-4, 2020, 277
Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60, № 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, № 8, 2022, 1558
EVGENY KOLMAKOV, LEV BEKLEMISHEV, “AXIOMATIZATION OF PROVABLE n-PROVABILITY”, J. symb. log., 84, № 02, 2019, 849
Albert Visser, “The predicative Frege hierarchy”, Annals of Pure and Applied Logic, 160, № 2, 2009, 129
Anton Freund, Fedor Pakhomov, “Short Proofs for Slow Consistency”, Notre Dame J. Formal Logic, 61, № 1, 2020