researchers with a paper here

1 paper

math.LO2016

Sprague-Grundy theory in bounded arithmetic

Satoru Kuroda

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 captur…