“Introduction to Reverse Mathematics”
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