SATO KENTARO, “A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION”, J. symb. log., 84, no. 1, 2019, 226
Volker Halbach, Albert Visser, The Life and Work of Leon Henkin, 2014, 249
Lev D. Beklemishev, Fedor N. Pakhomov, “Reflection algebras and conservation results for theories of iterated truth”, Annals of Pure and Applied Logic, 173, no. 5, 2022, 103093
Eduardo Hermo Reyes, Joost J. Joosten, “The Logic of Turing Progressions”, Notre Dame J. Formal Logic, 61, no. 1, 2020
A. Cordón-Franco, A. Fernández-Margarit, F. F. Lara-Martín, “On the Optimality of Conservation Results for Local Reflection in Arithmetic”, J. symb. log., 78, no. 4, 2013, 1025
Michael Rathjen, “2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10”, Bull. symb. log, 17, no. 2, 2011, 272
E. A. Kolmakov, “On a Strengthening of the Non-Isomorphism Theorem for Provability Algebras”, Dokl. Math., 104, no. 1, 2021, 180
Pawel Pawlowski, “Proof systems for BAT consequence relations”, Logic Journal of the IGPL, 26, no. 1, 2018, 96
Lev Dmitrievich Beklemishev, “Исчисление для схем рефлексии и спектры консервативности”, Успехи математических наук, 73, no. 4(442), 2018, 3
Evgeny Kolmakov, “Local reflection, definable elements and 1-provability”, Arch. Math. Logic, 59, no. 7-8, 2020, 979