SOME RESULTS ABOUT HINDMAN'S THEOREM AND GOWERS' THEOREM IN REVERSE MATHEMATICS. - LIAO YUKE (2023)
Ph.D