Model-theoretic aspects of the Gurarij operator system

Isaac Goldbring, Martino Lupini

We establish some of the basic model theoretic facts about the Gurarij operator system $\mathbb{GS}$ recently constructed by the second-named author. In particular, we show: (1) $\…