Oberseminar "Mathematische Logik" - Prof. Dr. Anton Freund

The talk begins with a short introduction to reverse mathematics, a now classical framework that allows to compare the logical strength of results from various mathematical fields. It then discusses the emerging programme of strict reverse mathematics as promoted by Harvey Friedman. This is followed by a case study (work in progress with Nicholas Pischke and Patrick Uftring) that is inspired by though not entirely faithful to this new programme: By re-interpreting the real numbers, we obtain a new picture of analysis in reverse mathematics, which suggests that some theorems may not need the strong logical axioms that are classically associated with them.