The reverse mathematics of the Thin set and the Erdős-Moser theorems - Lu Liu; Ludovic Patey (2021)