- SATO KENTARO, “A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION”, J. symb. log., 84, № 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, № 5, 2022, 103093
- Eduardo Hermo Reyes, Joost J. Joosten, “The Logic of Turing Progressions”, Notre Dame J. Formal Logic, 61, № 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, № 4, 2013, 1025
- Michael Rathjen, “2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10”, Bull. symb. log, 17, № 2, 2011, 272
- E. A. Kolmakov, “On a Strengthening of the Non-Isomorphism Theorem for Provability Algebras”, Dokl. Math., 104, № 1, 2021, 180
- Pawel Pawlowski, “Proof systems for BAT consequence relations”, Logic Journal of the IGPL, 26, № 1, 2018, 96
- Lev Dmitrievich Beklemishev, “Исчисление для схем рефлексии и спектры консервативности”, Успехи математических наук, 73, № 4(442), 2018, 3
- Evgeny Kolmakov, “Local reflection, definable elements and 1-provability”, Arch. Math. Logic, 59, № 7-8, 2020, 979