2 citations to https://www.mathnet.ru/eng/jlms7
  1. JAMES WALSH, “AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS”, J. symb. log., 89:1 (2024), 80  crossref
  2. J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 381 (2023), 20220020–11  mathnet  crossref