19 citations · 20 across the 3 of their papers we have counts for
1 paper · 1 filter
Walter Dean, Sean Walsh
This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Fri…