Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
Showing math.LOShow all
2 papers · 1 filter
math.LO2018
Developing Takeuti-Yasumoto forcing
Satoru Kuroda
In late 90's G.Takeuti and Y.Yasumoto gave forcing constructions for bounded arithmetic. We will reformulate their constructions using two-sort bounded arithmetic and prove the fol…
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…