EMANUELE FRITTAION, “A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC”, Bull. symb. log, 28, № 3, 2022, 451
V. YU. SHAVRUKOV, “Isomorphisms of Diagonalizable Algebras”, Theoria, 63, № 3, 1997, 210
Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
A. Visser, “Can We Make the Second Incompleteness Theorem Coordinate Free?”, Journal of Logic and Computation, 21, № 4, 2011, 543
Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín, 3210, Computer Science Logic, 2004, 355
W. Dean, “Arithmetical Reflection and the Provability of Soundness”, Philosophia Mathematica, 23, № 1, 2015, 31
Marta Bílková, Dick de Jongh, Joost J. Joosten, “Interpretability in PRA”, Annals of Pure and Applied Logic, 161, № 2, 2009, 128
A. Cordón-Franco, A. Fernández-Margarit, F. F. Lara-Martín, “On axiom schemes for T-provably ${\Delta_{1}}$ Δ 1 formulas”, Arch. Math. Logic, 53, № 3-4, 2014, 327
JAMES WALSH, “AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS”, J. symb. log., 89, № 1, 2024, 80
Paul Shafer, “Honest elementary degrees and degrees of relative provability without the cupping property”, Annals of Pure and Applied Logic, 168, № 5, 2017, 1017