Omitting types in operator systems

DOI10.1512/IUMJ.2017.66.6019MaRDI QIDQ4977153zbMATH OpenOpenAlexFDO

Authors Isaac Goldbring, Thomas Sinclair

Publication date 3 August 2017

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

Full work available at URL https://arxiv.org/abs/1501.06395, http://www.iumj.indiana.edu/IUMJ/ABS/2017/6019

zbMATH Keywords

\(C^*\) algebrasexactnessomitting types

Mathematics Subject Classification ID

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

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.

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

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
• Model-theoretic aspects of the Gurarij operator system
• On Tsirelson pairs of C*-algebras
• 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)