Kentaro Sato, “The strength of extensionality I — weak weak set theories with infinity”, Annals of Pure and Applied Logic, 157, № 2-3, 2009, 234
Anton Freund, “Slow reflection”, Annals of Pure and Applied Logic, 168, № 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, № 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, № 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, № 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, № 3-4, 2019, 339
L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russ. Math. Surv., 73, № 4, 2018, 569