Computability Theory Learning Seminar

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

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Metatheorems (Part 2)"

We will introduce the game metatheorem of Antonio Montalban and discuss its function. Several examples of its usefulness will be given.

MC 5403