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