Games with backtracking options corresponding to the ordinal analysis of PA
Abstract
We give another proof of ordinal analysis of Ik-fragments of Peano Arithmetic which is free from cut-elimination of ω-logic. Our main tool is a direct witnessing argument utilizing game notion, motivated from the realm of proof complexity and bounded arithmetic.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.