JAMES WALSH, “AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS”, J. symb. log., 89:1 (2024), 80
James Walsh, “Characterizations of ordinal analysis”, Annals of Pure and Applied Logic, 174:4 (2023), 103230
ALI ENAYAT, MATEUSZ ŁEŁYK, “AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW”, J. symb. log., 88:4 (2023), 1526
EMANUELE FRITTAION, “A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC”, Bull. symb. log, 28:3 (2022), 451
Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), 1350–1384