@misc{indiciae5dedb816fd39,
  title = {On the axiomatizability of \$\textbackslash{}mathrm\{C\}\textasciicircum{}*\$-algebras as operator systems},
  author = {Isaac Goldbring and Thomas Sinclair},
  year = {2016},
  url = {https://arxiv.org/abs/1603.05444},
  note = {Source identifier: 1603.05444}
}