1 paper · 1 filter
Albert Visser, Jetze Zoethout
In this paper, we study the provability logic of intuitionistic theories of arithmetic that prove their own completeness. We prove a completeness theorem for theories equipped with…