Sprague-Grundy theory in bounded arithmetic
英文摘要：
In this paper, we formalize Sprague-Grundy theory for combinatorial games in bounded arithmetic. We show that in the presence of Sprague-Grundy numbers, a fairly weak axioms capture PSPACE.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
