The persistence principle over weak interpretability logic
From MaRDI portal
Publication:6392768
arXiv2203.02183MaRDI QIDQ6392768
Yuya Okawa, Taishi Kurahashi, Sohei Iwata
Publication date: 4 March 2022
This page was built for publication: The persistence principle over weak interpretability logic
