Computability Learning Seminar

Joey Lakerdas-Gayle, University of Waterloo

Sacks' Splitting Theorem on a tree

We will prove Sacks' Splitting Theorem following the method of Steffen Lempp which uses a dynamically constructed priority tree.

MC 5403