2 citations to https://www.mathnet.ru/rus/smj3265
  1. Duccio Pianigiani, UNIverSI. Ricerca e Didattica all'Università di Siena, 4, Lectures in Proof Theory and Complexity, 2025, 121  crossref
  2. Sohei Iwata, Taishi Kurahashi, Yuya Okawa, “The persistence principle over weak interpretability logic”, Mathematical Logic Qtrly, 2023  crossref