Computability Theory Learning Seminar

Thursday, March 16, 2023 2:30 pm - 2:30 pm EDT (GMT -04:00)

Rachael Alvir, Department of Pure Mathematics, University of Waterloo

"Even More Effectively Closed Sets"

An effectively closed set (or $\Pi^0_1$ class) in Baire space $\omega^\omega$ is the set $[T]$ of infinite branches through a computable tree $T$. This semester in the computability seminar, we will be studying $\Pi^0_1$ classes from Cenzer \& Remmel's textbook. This week we will continue proving an effective version of the perfect set theorem.

MC 5403