Model theory of operator systems and C∗-algebras

DOI10.1515/9783110768282-009MaRDI QIDQ6058182

Thomas Sinclair

Publication date: 27 October 2023

Published in: Model Theory of Operator Algebras (Search for Journal in Brave)

zbMATH Keywords

linear matrix inequalitiessemidefinite programmingoperator algebraslifting propertyoperator systemsweak expectation propertycontinuous model theoryoperator spacesnuclearityfree spectrahedracompletely positive mappings

Mathematics Subject Classification ID

Semidefinite programming (90C22) Linear inequalities of matrices (15A39) General theory of von Neumann algebras (46L10) Norms of matrices, numerical range, applications of functional analysis to matrix theory (15A60) Operator spaces and completely bounded maps (46L07) General theory of (C^*)-algebras (46L05) Operator spaces (= matricially normed spaces) (47L25) Ultraproducts and related constructions (03C20) Applications of model theory (03C98) Continuous model theory, model theory of metric structures (03C66)

Related Items (1)

ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS

This page was built for publication: Model theory of operator systems and C∗-algebras