Showing 2026 · math.OAShow all
2 papers · 2 filters
math.OA2026
Non-computability of -theory for computably presented C*-algebras
Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl +1
We give an example of a unital C*-algebra with a computable presentation and for which neither nor has a computable presentation.
math.OA2026
Computable -theory for C*-algebras II: AF algebras
Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl
We continue the study of the effective content of -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…