Computability Learning Seminar

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

“Ramsey’s Theorem”

We have seen with Sam two proofs of Ramsey’s Theorem. This time we give a third proof of that uses Konig’s Lemma but can be carried out in RCA0.

M3-4206