2 papers
math.LO2023
Locally universal C*-algebras with computable presentations
Alec Fox, Isaac Goldbring, Bradd Hart
The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra . In an effort to provide a negative solution to the KE…
math.LO2022
Computable presentations of C*-algebras
Alec Fox
We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we de…