1 paper · 2 filters
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…