40 citations · 40 across the 2 of their papers we have counts for
2 papers
math.LO2014
Categorical characterizations of the natural numbers require primitive recursion
Leszek Aleksander Kołodziejczyk, Keita Yokoyama
Simpson and the second author asked whether there exists a characterization of the natural numbers by a second-order sentence which is provably categorical in the theory RCA.…
cs.LO2014★ 40 cited
Small Stone in Pool
Samuel R. Buss, Leszek Aleksander Kolodziejczyk
The Stone tautologies are known to have polynomial size resolution refutations and require exponential size regular refutations. We prove that the Stone tautologies also have polyn…