Kentaro Sato, “The strength of extensionality I — weak weak set theories with infinity”, Annals of Pure and Applied Logic, 157, no. 2-3, 2009, 234
Anton Freund, “Slow reflection”, Annals of Pure and Applied Logic, 168, no. 12, 2017, 2103
Lev D. Beklemishev, 10388, Logic, Language, Information, and Computation, 2017, 48
Fedor Pakhomov, James Walsh, “Reducing ω-model reflection to iterated syntactic reflection”, J. Math. Log., 23, no. 02, 2023, 2250001
Lev D. Beklemishev, Albert Visser, “On the limit existence principles in elementary arithmetic and Σn0-consequences of theories”, Annals of Pure and Applied Logic, 136, no. 1-2, 2005, 56
Sergei Artemov, 5, Mathematical Problems from Applied Logic II, 2007, 1
Lev D. Beklemishev, “Provability algebras and proof-theoretic ordinals, I”, Annals of Pure and Applied Logic, 128, no. 1-3, 2004, 103
Lev D. Beklemishev, Logic Colloquium '02, 2017, 75
Anton Freund, “A note on iterated consistency and infinite proofs”, Arch. Math. Logic, 58, no. 3-4, 2019, 339
L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russ. Math. Surv., 73, no. 4, 2018, 569