1 citations to https://www.mathnet.ru/rus/smj3265
  1. Sohei Iwata, Taishi Kurahashi, Yuya Okawa, “The persistence principle over weak interpretability logic”, Mathematical Logic Qtrly, 2023  crossref