4 research outputs found
Provability Logic and the Completeness Principle
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 two provability predicates and
that prove the schemes and for
. Using this theorem, we determine the logic of fast provability
for a number of intuitionistic theories. Furthermore, we reprove a theorem
previously obtained by M. Ardeshir and S. Mojtaba Mojtahedi determining the
-provability logic of Heyting Arithmetic
Worms and Spiders: Reflection calculi and ordinal notation systems
We give a general overview of ordinal notation systems arising from
reflection calculi, and extend the to represent impredicative ordinals up to
those representable using Buchholz-style collapsing functions