- Lev D. Beklemishev, 10388, Logic, Language, Information, and Computation, 2017, 48
- ANDRÉS CORDÓN-FRANCO, DAVID FERNÁNDEZ-DUQUE, JOOST J. JOOSTEN, FRANCISCO FÉLIX LARA-MARTÍN, “PREDICATIVITY THROUGH TRANSFINITE REFLECTION”, J. symb. log., 82, № 3, 2017, 787
- Евгений Владимирович Дашков, Evgenij Vladimirovich Dashkov, “О позитивном фрагменте полимодальной логики доказуемости $\mathbf{GLP}$”, Матем. заметки, 91, № 3, 2012, 331
- L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russ. Math. Surv., 73, № 4, 2018, 569
- FEDOR PAKHOMOV, JAMES WALSH, “REFLECTION RANKS AND ORDINAL ANALYSIS”, J. symb. log., 86, № 4, 2021, 1350
- ANTON FREUND, “A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH”, The Review of Symbolic Logic, 15, № 4, 2022, 880
- Lev Beklemishev, Albert Visser, 4, Mathematical Problems from Applied Logic I, 2006, 77
- 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
- Joost J. Joosten, 9136, Evolving Computability, 2015, 216
- Gerald Berger, Lev D Beklemishev, Hans Tompits, “A many-sorted variant of Japaridze’s polymodal provability logic”, Logic Journal of the IGPL, 26, № 5, 2018, 505