Speaker: Tim McNicholl of ISU
Abstract: We give a simple proof that if $X$ is homeomorphic to a metric space that has a computably compact presentation, then $C(X)$ and $C^*(X)$ have computable presentations. As a corollary, we obtain recent theorems by Goldbring and Hart on degrees of theories of operator algebras. We also discuss recent progress on the converse by Melnikov et. al.