Computability Learning Seminar

Thursday, June 4, 2026 1:30 pm - 3:00 pm EDT (GMT -04:00)

Joey Lakerdas-Gayle, University of Waterloo

Priority Arguments on Trees

We will introduce terminology for priority trees following Steffen Lempp's notes and compare the classicalpriority argument for Sacks Cone Avoidance Theorem with a proof that uses a priority tree.

MC 5403