Model-theoretic aspects of the Gurarij operator system (Q1670336)

This paper is in continuous model theory, a variant of classical model theory able to treat metric structures. The authors study the model theory of the Gurarij operator system \(\mathbb{GS}\), the operator system (i.e., a unital self-adjoint Banach subspace of \(\mathcal B(H)\), the algebra bounded linear operators on a complex Hilbert space \(H\)) variant of the Banach space \(\mathbb G\), constructed by \textit{V. I. Gurarij} [Sib. Mat. Zh. 7, 1002--1013 (1966; Zbl 0166.39303)]. The Banach space \(\mathbb G\) was later shown to be a peculiar generic object in the work of \textit{W. Lusky} [Arch. Math. 27, 627--635 (1976; Zbl 0338.46023)] and \textit{W. Kubiś} and \textit{S. Solecki} [Isr. J. Math. 195, Part A, 449--456 (2013; Zbl 1290.46010)]. The model-theoretical properties of the Gurarij space \(\mathbb G\) were studied by \textit{I. Ben Yaacov} [J. Symb. Log. 80, No. 1, 100--115 (2015; Zbl 1372.03070)] and \textit{I. Ben Yaacov} and \textit{C. W. Henson} [Fundam. Math. 237, No. 1, 47--82 (2017; Zbl 1378.46013)] among others. The noncommutative Gurarij space \(\mathbb{GS}\) is an operator system that can be viewed as the Fraïssé limit of all finite dimensional 1-exact operator systems, being therefore a generic object. In this paper, the authors analyze the model theoretic features of \(\mathbb{GS}\). In particular, they prove that \(\mathbb{GS}\) is existentially closed, and in fact the unique separable existentially closed 1-exact operator system, that is the prime model of its theory, and that it is the only nuclear model of its theory. Moreover, they show it has quantifier elimination. All of this work refers to the continuous model theory setting for metric structure (and in this particular case for operator systems). These results do not have yet a correspondence for the operator space version of \(\mathbb{GS}\) (an operator space is a non-necessarily unital self-adjoint subspace of \(\mathcal B(H)\)).