Omitting types in operator systems

DOI10.1512/IUMJ.2017.66.6019zbMATH Open1382.46042arXiv1501.06395OpenAlexW2963196275MaRDI QIDQ4977153FDOQ4977153

Authors: Isaac Goldbring, Thomas Sinclair 

Publication date: 3 August 2017

Published in: Indiana University Mathematics Journal (Search for Journal in Brave)

Abstract: We show that the class of 1-exact operator systems is not uniformly definable by a sequence of types. We use this fact to show that there is no finitary version of Arveson's extension theorem. Next, we show that WEP is equivalent to a certain notion of existential closedness for C${}^{\ast }$ algebras and use this equivalence to give a simpler proof of Kavruk's result that WEP is equivalent to the complete tight Riesz interpolation property. We then introduce a variant of the space of n-dimensional operator systems and connect this new space to the Kirchberg Embedding Problem, which asks whether every C${}^{\ast }$ algebra embeds into an ultrapower of the Cuntz algebra $mathcal{O}_2$. We end with some results concerning the question of whether or not the local lifting property (in the sense of Kirchberg) is uniformly definable by a sequence of types in the language of C${}^{\ast }$ algebras.

Full work available at URL: https://arxiv.org/abs/1501.06395

Recommendations

• A Kirchberg-type tensor theorem for operator systems
• Operator space and operator system analogs of Kirchberg's nuclear embedding theorem
• On Kirchberg's embedding problem
• EMBEDDINGS AND -ENVELOPES OF EXACT OPERATOR SYSTEMS
• Characterizations of the weak expectation property

zbMATH Keywords

\(C^*\) algebrasexactnessomitting types

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Operator spaces and completely bounded maps (46L07)

Cited In (10)

• Characterizations of the weak expectation property
• An intrinsic order-theoretic characterization of the weak expectation property
• Model theory of \(C^*\)-algebras
• Omitting types in logic of metric structures
• Robinson forcing and the quasidiagonality problem
• On Tsirelson pairs of C*-algebras
• Model-theoretic aspects of the Gurarij operator system
• A Kirchberg-type tensor theorem for operator systems
• Enforceable operator algebras
• Approximate isomorphism of metric structures

This page was built for publication: Omitting types in operator systems

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