Reverse mathematics of rings - Jordan Mitchell Barrett (2021)