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 ${\mathcal{O}}_2$. In an effort to provide a negative solution to the KE…