The Prehistory of the Subsystems of Second-Order Arithmetic

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…