Non-computability of $K$-theory for computably presented C*-algebras

arXiv (Cornell University) 2026 Preprint Open access

Read full text
Authors: Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl, Russell Miller
Cited by: 0

Abstract

We give an example of a unital C*-algebra $\mathbf{A}$ with a computable presentation and for which neither $K_0(\mathbf{A})$ nor $K_1(\mathbf{A})$ has a computable presentation.

Fields of Study & Subjects

Advanced Operator Algebra Research Computability Logic AI Algorithms Advanced Topology and Set Theory

Publication details

Journal / source
arXiv (Cornell University)
Publication date
6 February 2026
Language
EN
Document type
Preprint