Mathematical Logic Seminar: Presentations of C-spaces and C*-algebras

February 2, 2022, 2:10-3:00pm | Carver 401

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.