Continuous model theories for von Neumann algebras

DOI10.1016/J.JFA.2019.108308MaRDI QIDQ2326499zbMATH OpenOpenAlexFDO

Authors Yoann Dabrowski

Publication date 7 October 2019

Published in Journal of Functional Analysis (Search for Journal in Brave)

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

zbMATH Keywords

von Neumann algebrascontinuous model theoryultrapower

Mathematics Subject Classification ID

General theory of von Neumann algebras (46L10) Ultraproducts and related constructions (03C20) Applications of model theory (03C98) Ultraproducts in functional analysis (46M07)

Abstract: We axiomatize in (first order finitary) continuous logic for metric structures $sigma$-finite $W^{\ast }$-probability spaces and preduals of von Neumann algebras jointly with a weak-* dense $C^{\ast }$-algebra of its dual. This corresponds to the Ocneanu ultrapower and the Groh ultrapower of ($sigma$-finite in the first case) von Neumann algebras. We give various axiomatizability results corresponding to recent results of Ando and Haagerup including axiomatizability of $II{I}_{l}ambda$ factors for $0<lambdaleq1$ fixed and their preduals. We also strengthen the concrete Groh theory to an axiomatization result for preduals of von Neumann algebras in the language of tracial matrix-ordered operator spaces, a natural language for preduals of dual operator systems. We give an application to the isomorphism of ultrapowers of factors of type $III$ and $I{I}_{i}nfty$ for different ultrafilters.

Recommendations

• A survey on the model theory of tracial von Neumann algebras
• Existentially closed \(\mathrm{W}^*\)-probability spaces
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
• Model theory of operator algebras
• Model theory of operator algebras. II: Model theory
• The theory of tracial von Neumann algebras does not have a model companion
• ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
• An introduction to continuous model theory
• Model theory of operator systems and C∗-algebras
• Model theory and ultrapower embedding problems in operator algebras

Cites work

• scientific article; zbMATH DE number 3877818 (Why is no real title available?)
• scientific article; zbMATH DE number 3678541 (Why is no real title available?)
• scientific article; zbMATH DE number 1022519 (Why is no real title available?)
• scientific article; zbMATH DE number 1973925 (Why is no real title available?)
• scientific article; zbMATH DE number 1993745 (Why is no real title available?)
• scientific article; zbMATH DE number 1544066 (Why is no real title available?)
• scientific article; zbMATH DE number 3806227 (Why is no real title available?)
• scientific article; zbMATH DE number 3286429 (Why is no real title available?)
• A dichotomy for the number of ultrapowers
• COMPLETELY CONTRACTIVE PROJECTIONS ON C^*-ALGEBRAS
• Existentially closed \(\mathrm{ II}_1\) factors
• Games and elementary equivalence of \(\mathrm{II}_1\)-factors
• Injectivity and operator spaces
• Logic and operator algebras
• Model theory for metric structures
• Model theory of operator algebras. I: Stability
• Model theory of operator algebras. II: Model theory
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• Multipliers on matrix ordered operator spaces and some K-groups.
• On Kirchberg's embedding problem
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Pointwise inner automorphisms of von Neumann algebras. With an appendix by Colin Sutherland
• Positive projections and Jordan structure in operator algebras.
• The Effros-Marechal topology in the space of von Neumann algebras
• The standard form of von Neumann algebras.
• The structure of a von Neumann algebra with a homogeneous periodic state
• Theory of operator algebras I.
• Ultraproducts of von Neumann algebras
• Une classification des facteurs de type ${\rm III}$
• \(C^*\)-algebras and finite-dimensional approximations
• \(\mathrm{II}_1\) factors with nonisomorphic ultrapowers

Cited in

(9)

• Model theory of operator algebras. II: Model theory
• Characterization of model Mirimanov-von Neumann cumulative sets
• The Vietoris functor and modal operators on rings of continuous functions
• Uniqueness of the von Neumann continuous factor
• ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
• Existentially closed \(\mathrm{W}^*\)-probability spaces
• A survey on the model theory of tracial von Neumann algebras
• Enforceable operator algebras
• The theory of tracial von Neumann algebras does not have a model companion

This page was built for publication: Continuous model theories for von Neumann algebras

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