Computable $K$-theory for ${\mathrm{C}}^{\ast }$-algebras: UHF algebras

Christopher Eagle, Isaac Goldbring, Timothy McNicholl +1

We initiate the study of the effective content of $K$-theory for ${\mathrm{C}}^{\ast }$-algebras. We prove that there are computable functors which associate, to a computably enumerable pr…