- EMANUELE FRITTAION, “A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC”, Bull. symb. log, 28, no. 3, 2022, 451
- V. YU. SHAVRUKOV, “Isomorphisms of Diagonalizable Algebras”, Theoria, 63, no. 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, no. 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, no. 1, 2015, 31
- Marta Bílková, Dick de Jongh, Joost J. Joosten, “Interpretability in PRA”, Annals of Pure and Applied Logic, 161, no. 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, no. 3-4, 2014, 327
- JAMES WALSH, “AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS”, J. symb. log., 89, no. 1, 2024, 80
- Paul Shafer, “Honest elementary degrees and degrees of relative provability without the cupping property”, Annals of Pure and Applied Logic, 168, no. 5, 2017, 1017