Continuous model theories for von Neumann algebras

DOI10.1016/J.JFA.2019.108308zbMATH Open1444.46039arXiv1508.03202OpenAlexW2973168668MaRDI QIDQ2326499FDOQ2326499

Authors: Yoann Dabrowski 

Publication date: 7 October 2019

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

Abstract: We axiomatize in (first order finitary) continuous logic for metric structures $sigma$-finite $W^{*}$-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.

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

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

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)

Cites Work

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