We give another proof of ordinal analysis of IΣₖ-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.
No takes yet. Share an insight, caveat, or question.
Eitetsu Ken (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: