74 citations · 280 across the 32 of their papers we have counts for
4 papers · 1 filter
On Tsirelson pairs of C*-algebras
Isaac Goldbring, Bradd Hart
We introduce the notion of a Tsirelson pair of C*-algebras, which is a pair of C*-algebras for which the space of quantum strategies obtained by using states on the minimal tensor…
A survey on the model theory of tracial von Neumann algebras
Isaac Goldbring, Bradd Hart
We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for…
Approximate traces on groups and the quantum complexity class
Isaac Goldbring, Bradd Hart
An open question in quantum complexity theory is whether or not the class , consisting of languages that can be efficiently verified using interacting prov…
The undecidability of having the QWEP
Jananan Arulseelan, Isaac Goldbring, Bradd Hart
We show that neither the class of C*-algebras with Kirchberg's QWEP property nor the class of W*-probability spaces with the QWEP property are effectively axiomatizable (in the app…