Computability Learning Seminar

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Reverse Mathematics (part 2)"

Having heard a brief overview of the basics of reverse mathematics, we will continue to learn about the system RCA_0 and the theorems provable therein. 

Attendance of part 1 is not required, only an interest in logic and computability.

MC 5413