Sprague-Grundy theory in bounded arithmetic

Autor:	Kuroda, Satoru
Rok vydání:	2016
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1609.02408 Zobrazit plný text záznamu View this record from Arxiv