Tuesday, March 24, 2015 3:30 pm
-
3:30 pm
EDT (GMT -04:00)
Michael Deveau, Department of Pure Mathematics
"Weak König's Lemma over RCA_0"
Since the addition of Konig's Lemma to RCA_0 presented last time proved to be too strong, we will next investigate the addition of Weak Konig's Lemma to RCA_0. To show that this will have strength strictly between RCA_0 and ACA_0, we will spend some time discussing the PA degrees, including an important application of the Low Basis Theorem.