TY  - RPRT
TI  - Model Theory of Operator Systems and C$^*$-Algebras
AU  - Thomas Sinclair
PY  - 2022
UR  - https://arxiv.org/abs/2210.03862
ID  - 2210.03862
ER  -