Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection

DOI10.1007/978-3-319-10103-3_14zbMath1378.03049arXiv1007.0844OpenAlexW2952179275MaRDI QIDQ5361255

Toshiyasu Arai

Publication date: 27 September 2017

Published in: Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.0844

zbMATH Keywords

ordinal diagrams\(\Pi _{N}\)-reflecting ordinals

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators ⋮ A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION

This page was built for publication: Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection