After a brief introduction to the research program of Reverse Mathematics, we consider the statement "If an integral domain satisfies the ACCP, it is Atomic". We give an outline of our proof that this Theorem is equivalent to ACA0 over RCA0. We conclude by discussing a related question that we left open.
This is joint work with Noam Greenberg and Dan Turetski.