On the axiomatizability of ${\mathrm{C}}^{\ast }$-algebras as operator systems

Isaac Goldbring, Thomas Sinclair

We show that the class of unital ${\mathrm{C}}^{\ast }$-algebras is an elementary class in the language of operator systems. As a result, we have that there is a definable predicate in the…