Chi-Tat Chong’s Work on Reverse Mathematics
scientific article; zbMATH DE number 7731741