Proof theory for theories of ordinals III: $Π_{N}$-reflection
Toshiyasu Arai · arXiv (Cornell University) · 2010
This paper deals with a proof theory for a theory of $Π_{N}$-reflecting ordinals using a system of ordinal diagrams. This is a sequel to the previous one(APAL 129)in which a theory for $Π_{3}$-reflection is analysed proof-theoretically.