Home

Proof theory for theories of ordinals III: $\Pi_{N}$-reflection.

Wed, 07/07/2010 - 15:01 — SomNambul
Authors: Toshiyasu Arai
Subjects: Logic
link: http://arxiv.org/abs/1007.0844
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.