Thursday, May 28, 2015 2:00 pm
-
2:00 pm
EDT (GMT -04:00)
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