Publisher
Springer International Publishing
Reference19 articles.
1. Beklemishev, L.D.: Induction rules, reflection principles, and provably recursive functions. Ann. Pure Appl. Log. 85, 193–242 (1997)
2. Beklemishev, L.D.: Provability algebras and proof-theoretic ordinals, I. Ann. Pure Appl. Log. 128, 103–124 (2004)
3. Beklemishev, L.D.: Reflection principles and provability algebras in formal arithmetic. Uspekhi Matematicheskikh Nauk 60(2), 3–78 (2005). (in Russian). English translation. In: Russian Mathematical Surveys 60(2), 197–268 (2005)
4. Beklemishev, L.D., Fernández-Duque, D., Joosten, J.J.: On provability logics with linearly ordered modalities. Stud. Logica. 102, 541–566 (2014)
5. Beklemishev, L.D., Pakhomov, F.N.: Reflection algebras and conservation results for theories of iterated truth. arXiv arXiv:1908.10302 [math.LO] (2019)