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.


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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.