Key points are not available for this paper at this time.
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.
Eitetsu Ken (Tue,) studied this question.