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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2010
- DOI:
- 10.48550/arXiv.1007.0844
- arXiv:
- arXiv:1007.0844
- Bibcode:
- 2010arXiv1007.0844A
- Keywords:
-
- Mathematics - Logic;
- 03F35