Veblen hierarchy in the context of provability algebras

Abstract

We study an extension of Japaridze’s polymodal logic GLP with transfinitely many modalities and develop a provability-algebraic ordinal notation system up to the ordinal Ѓ0.