Computability Learning Seminar

Tuesday, March 17, 2015 3:30 pm - 3:30 pm EDT (GMT -04:00)

Michael Deveau, Department of Pure Mathematics, University of Waterloo

“(Weak) Konig’s Lemma over RCA0.”

We investigate the addition of Konig’s Lemma to RCA0. In doing so, we will examine the power of RCA0 in more detail, culminating in a proof that the Lemma is equivalent to ACA0 when working over RCA0. Time permitting, we begin a discussion of using Weak Konig’s Lemma in the same situation.

MC 5413