1. The Reverse Mathematics program originated with the publications Some Systems of Second Order Arithmeitc aand Their Use, Proceedings of the 1974 International Congress of Mathematicians, Vol. 1, (1975), pp. 235-242, https://www.mathunion.org/fileadmin/ICM/Proceedings/ICM1974.1/ICM1974.1.ocr.pdf, and Subsystems of Second Order Arithmetic with Restricted Induction I,II, abstracts, J. of Symbolic Logic, Vol. 41, No. 2 (1976), pp. 557-559, RMAbsracts1976 as well as the following widely dist...
