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
Silvia Steila, Keita Yokoyama, “Reverse mathematical bounds for the Termination Theorem”, Annals of Pure and Applied Logic, 167, № 12, 2016, 1213
Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927
Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
Sergei Artemov, 5, Mathematical Problems from Applied Logic II, 2007, 1
Albert Visser, “Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories”, Mathematical Logic Qtrly, 60, № 1-2, 2014, 92
Sergei N. Artemov, “Explicit Provability and Constructive Semantics”, Bull. symb. log., 7, № 1, 2001, 1
Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín, “Fragments of Arithmetic and true sentences”, Mathematical Logic Quarterly, 51, № 3, 2005, 313
A. Cordón-Franco, A. Fernández-Margarit, F. F. Lara-Martín, “On the Optimality of Conservation Results for Local Reflection in Arithmetic”, J. symb. log., 78, № 4, 2013, 1025
L. D. Beklemishev, Turing’s Revolution, 2015, 225