Computability Theory Learning Seminar
Rachael Alvir, Department of Pure Mathematics, University of Waterloo
"Reverse Math I"
In this talk, we will give a preliminary introduction to reverse mathematics. We will be working from a recent book by Damir Dzhafarov and Carl Mummert.
MC 5403