Computability Learning Seminar

Tuesday, March 10, 2015 3:30 pm - 3:30 pm EDT (GMT -04:00)

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

“Introduction to Reverse Mathematics (continued)”

We finish characterizing the ωmodelsofRCA0. If time helps, we continue doing the same for ACA0 If time permits, Michael Deveau will do the same for ACA_0.

MC 5413