Computability Theory Learning Seminar

Andy Zucker, Department of Pure Mathematics, University of Waterloo

"Reverse Math VIII"

We continue our discussion of the reverse math theoretic aspects of Devlin's theorem.