Computability Theory Learning Seminar

Rachael Alvir, Department of Pure Mathematics, University of Waterloo

"Reverse Math III"

In this talk, we will be presenting material from a recent book by Damir Dzhafarov and Carl Mummert. In particular, we will prove the cone avoidance basis theorem.