Louise Hay Logic Seminar
Noah Schoem
Introduction to Reverse Mathematics
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.
Thursday September 17, 2015 at 4:00 PM in SEO 427