Events by date

Eric Boulter, Department of Pure Mathematics, University of Waterloo

"Rational points on elliptic curves"

MC 5403

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

Lisa Marquand, Stony Brook University

"Symplectic Birational Involutions of manifolds of OG10 type"

Roberto Hernandez Palomares, Department of Pure Mathematics, University of Waterloo

"K-theoretic classification of inductive limit actions of fusion categories on AF C*-algebras"