Proof theory for theories of ordinals III: Pi_(N)-reflection
classification
🧮 math.LO
keywords
theoryordinalsproofreflectionanalysedapaldealsdiagrams
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.