Skip to main content

Noah Schoem : Introduction to Reverse Mathematics

Posted by Noah Schoem , part of the Louise Hay Logic Seminar.

At
Sept. 17, 2015, 4 p.m.
In
SEO 427
Abstract
This talk will give an overview of Reverse Mathematics. We will discuss the five main systems $RCA_0$, $WKL_0$, $ACA_0$, $ATR_0$, and $\Pi^1_1-CA_0$ of Reverse Mathematics and present some theorems that are equivalent to these systems.