Thursday, January 26, 2023 2:30 pm
-
2:30 pm
EST (GMT -05:00)
Joey Lakerdas-Gayle, Department of Pure Mathematics, University of Waterloo
"Effectively closed sets - Part III"
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 conclude chapter 2 by discussing some applications of $\Pi^0_1$ classes in computability theory.
MC 5403