46 citations · 63 across the 10 of their papers we have counts for
1 paper · 1 filter
Peter Cholak, David Galvin, Reed Solomon
This paper falls within the general program of investigating the proof theoretic strength (in terms of reverse mathematics) of combinatorial principals which follow from versions o…