加载中…
We give another proof of ordinal analysis of -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.

生成讲解博客的中文版本

生成AI智能校验的中文版本