“Introduction to Reverse Mathematics”

Tuesday, March 3, 2015 3:30 pm - 3:30 pm EST (GMT -05:00)
Export this event to calendar
iCal

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

We continue our introduction by clarifying some elementary notions and results aiming to end with a full computability-theoretic characterization of the ω-models of our systems RCA0 and ACA0.

MC 5413