Enforceable operator algebras

DOI10.1017/S1474748019000112zbMATH Open1460.03009arXiv1706.09048OpenAlexW3098666022WikidataQ128307102 ScholiaQ128307102MaRDI QIDQ5147671FDOQ5147671

Authors: Isaac Goldbring 

Publication date: 27 January 2021

Published in: Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Abstract: We adapt the classical notion of building models by games to the setting of continuous model theory. As an application, we study to what extent canonical operator algebras are enforceable models. For example, we show that the hyperfinite II${}_1$ factor is an enforceable II${}_1$ factor if and only if the Connes Embedding Problem has a positive solution. We also show that the set of continuous functions on the pseudoarc is an enforceable model of the theory of unital, projectionless, abelian cstar-algebras and use this to show that it is the prime model of its theory.

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

Recommendations

• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• Computability and the Connes embedding problem
• Model theory of operator algebras. II: Model theory
• Continuous model theories for von Neumann algebras
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS

zbMATH Keywords

operator algebrasmodel-theoretic forcinglocally universal objects

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) General theory of von Neumann algebras (46L10) Ultraproducts and related constructions (03C20) Model-theoretic forcing (03C25) Applications of model theory (03C98)

Cites Work

• Strongly self-absorbing $C^{*}$-algebras
• Model theory for metric structures
• On Kirchberg's embedding problem
• The Chang-Łoś-Suszko theorem in a topological setting
• Existentially closed \(\mathrm{ II}_1\) factors
• The pseudoarc is a co-existentially closed continuum
• Title not available (Why is that?)
• Model theory of operator algebras. II: Model theory
• Model-theoretic aspects of the Gurarij operator system
• Bilinear forms on exact operator spaces and \(B(H) \otimes B(H)\)
• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
• Title not available (Why is that?)
• Quasidiagonality of nuclear \(\mathrm{C}^\ast\)-algebras
• Omitting types and AF algebras
• Topometric spaces and perturbations of metric structures
• Model theoretic forcing in analysis
• The pseudo-arc
• Quasitraces on exact \(C^*\)-algebras are traces
• Absoluteness, truth, and quotients
• Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• Title not available (Why is that?)
• The theory of tracial von Neumann algebras does not have a model companion
• Omitting types in operator systems
• Omitting types in logic of metric structures
• Robinson forcing and the quasidiagonality problem

Cited In (12)

• Duality for optimal couplings in free probability
• The Connes embedding problem: a guided tour
• Metric groups, unitary representations and continuous logic
• Model-theoretic properties of dynamics on the Cantor set
• Optimal transport for types and convex analysis for definable predicates in tracial \(\mathrm{W}^\ast \)-algebras
• On Popa's factorial commutant embedding problem
• Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
• Existentially closed \(\mathrm{W}^*\)-probability spaces
• Covering entropy for types in tracial W^*-algebras
• Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
• Uniformly super McDuff \(\mathrm{II}_1\) factors

This page was built for publication: Enforceable operator algebras

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