{"id":"arxiv/2602.06882","url":"https://arxiv.org/abs/2602.06882","tags":["math.OA","math.LO"],"score":0,"title":"Computable $K$-theory for C*-algebras II: AF algebras","domain":"math.OA","source":"arxiv","authors":["Christopher J. Eagle","Isaac Goldbring","Timothy H. McNicholl"],"reviews":0,"subject":"math.OA","summary":"We continue the study of the effective content of $K$-theory for C*-algebras, with a focus on AF algebras. We show that from a c.e. presentation of an AF algebra it is possible to compute a representation of the algebra as an inductive limit of finite-dimensional algebras. Using this, and an analogous result for dimension groups, we show that the computable $K_0$ functor provides a computable equivalence of categories between c.e. presentations of AF algebras and c.e. presentations of unital (scaled) dimension groups, giving an effective version of Elliott's classification theorem. We use…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-06","reactions":{}}