Model-theoretic aspects of the Gurarij operator system

DOI10.1007/S11856-018-1691-3MaRDI QIDQ1670336zbMATH OpenOpenAlexWikidataFDO

Authors Isaac Goldbring, Martino Lupini

Publication date 5 September 2018

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.04332, https://authors.library.caltech.edu/86361/

zbMATH Keywords

continuous model theoryGurarij spaceoperator system

Mathematics Subject Classification ID

Isometric theory of Banach spaces (46B04) Models of other mathematical theories (03C65) Applications of model theory (03C98)

Abstract: We establish some of the basic model theoretic facts about the Gurarij operator system $mathbbGS$ recently constructed by the second-named author. In particular, we show: (1) $mathbbGS$ is the unique separable 1-exact existentially closed operator system; (2) $mathbbGS$ is the unique separable nuclear model of its theory; (3) every embedding of $mathbbGS$ into its ultrapower is elementary; (4) $mathbbGS$ is the prime model of its theory; and (5) $mathbbGS$ does not have quantifier-elimination, whence the theory of operator systems does not have a model companion. We also show that, for any $qinmathbbN$, the theories of $M_q$-spaces and $M_q$-systems do have a model companion, namely the Fra"{i}ss'{e} limit of the class of finite-dimensional $M_q$-spaces and $M_q$-systems respectively; moreover we show that the model companion is separably categorical. We conclude the paper by showing that no C${}^{\ast }$ algebra can be existentially closed as an operator system.

Recommendations

• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
• ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
• Operator space and operator system analogs of Kirchberg's nuclear embedding theorem
• \(C^*\)-algebras generated by operator systems
• The Kirchberg-Wassermann operator system is unique

Cites work

• scientific article; zbMATH DE number 4050294 (Why is no real title available?)
• scientific article; zbMATH DE number 1993745 (Why is no real title available?)
• scientific article; zbMATH DE number 1849957 (Why is no real title available?)
• scientific article; zbMATH DE number 2117180 (Why is no real title available?)
• scientific article; zbMATH DE number 854206 (Why is no real title available?)
• scientific article; zbMATH DE number 3267048 (Why is no real title available?)
• A new application of random matrices: \(\operatorname{Ext} (C_{\text{red}}^*(F_2))\) is not a group
• A proof of uniqueness of the Gurariĭ space
• About the Connes embedding conjecture
• An approximation theorem for nuclear operator systems
• Bilinear forms on exact operator spaces and B(H) B(H)
• Completely Bounded Maps between C^∗ -Algebras
• Completely positive linear maps on complex matrices
• Continuous first order logic and local stability
• FRAÏSSÉ LIMITS OF METRIC STRUCTURES
• Generic orbits and type isolation in the Gurarij space
• Metric characterizations of isometries and of unital operator spaces and systems
• Model theory for metric structures
• Omitting types in operator systems
• On Gromov-Hausdorff convergence for operators metric spaces
• On Kirchberg's embedding problem
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Operator space and operator system analogs of Kirchberg's nuclear embedding theorem
• Quantifier elimination in C\(^\ast\)-algebras
• Subspaces of \(C^ *\)-algebras
• The Gurarij spaces are unique
• The non-commutative Gurarii space
• The super operator system structures and their applications in quantum entanglement theory
• The theory of tracial von Neumann algebras does not have a model companion
• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
• Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups
• \(C^*\)-algebras and finite-dimensional approximations

Cited in

(11)

• The Ramsey property for Banach spaces and Choquet simplices
• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
• scientific article; zbMATH DE number 1563658 (Why is no real title available?)
• Omitting types in logic of metric structures
• ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
• Oracle computability of conditional expectations onto subfactors
• Fraïssé limits in functional analysis
• The Ramsey property for operator spaces and noncommutative Choquet simplices
• On Kirchberg's embedding problem
• scientific article; zbMATH DE number 7406818 (Why is no real title available?)
• Enforceable operator algebras

This page was built for publication: Model-theoretic aspects of the Gurarij operator system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1670336)