Events by date

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Effectively closed sets - Part V"

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 basis theorems and take a brief detour into Martin-Lof randomness.

MC 5403

Rasul Shafikov, Western University

"Lagrangian embeddings, rational convexity, and approximation"

A celebrated theorem of Duval and Sibony characterizes rationally convex real submanifolds in complex Euclidean spaces as those isotropic with respect to a Kahler form. I will discuss how the results in symplectic geometry can be used to obtain some new results in the approximation theory.

MC 5417

Camila Sehnem, Department of Pure Mathematics, University of Waterloo

"C*-envelopes and semigroup C*-algebras"