Paul Shafer, “Honest elementary degrees and degrees of relative provability without the cupping property”, Annals of Pure and Applied Logic, 168, № 5, 2017, 1017
David Fernández-Duque, Joost J. Joosten, “The omega-rule interpretation of transfinite provability logic”, Annals of Pure and Applied Logic, 169, № 4, 2018, 333
Patrick Lutz, James Walsh, “Incompleteness and jump hierarchies”, Proc. Amer. Math. Soc., 148, № 11, 2020, 4997
Juan P. Aguilera, “A topological completeness theorem for transfinite provability logic”, Arch. Math. Logic, 62, № 5-6, 2023, 751
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
Volker Halbach, Albert Visser, The Life and Work of Leon Henkin, 2014, 249
Lev Dmitrievich Beklemishev, “Исчисление для схем рефлексии и спектры консервативности”, Успехи математических наук, 73, № 4(442), 2018, 3
D. Fernandez-Duque, J. J. Joosten, “Well-orders in the transfinite Japaridze algebra”, Logic Journal of IGPL, 22, № 6, 2014, 933
Albert Visser, “Transductions in arithmetic”, Annals of Pure and Applied Logic, 167, № 3, 2016, 211
JOOST J. JOOSTEN, “MÜNCHHAUSEN PROVABILITY”, J. symb. log., 86, № 3, 2021, 1006