Kurt Gödel Research Center

2013 seminar talk: Reverse Mathematics of Divisibility in Integral Domains

Talk held by Valentin Bura (TU Wien, Austria) at the KGRC seminar on 2013-04-25.

Abstract

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 ACA₀ over RCA₀. We conclude by discussing a related question that we left open.

This is joint work with Noam Greenberg and Dan Turetski.