Proof theory for theories of ordinals III: ${\Pi }_N$-reflection

Abstract

This paper deals with a proof theory for a theory of ${\Pi }_N$-reflecting ordinals using a system of ordinal diagrams. This is a sequel to the previous one(APAL 129)in which a theory for ${\Pi }_3$-reflection is analysed proof-theoretically.