Existentially closed II₁ factors

DOI10.4064/FM126-12-2015zbMATH Open1436.03213arXiv1310.5138OpenAlexW2560452612MaRDI QIDQ2804295FDOQ2804295

Authors: Ilijas Farah, Isaac Goldbring, Bradd Hart, David Sherman 

Publication date: 28 April 2016

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Abstract: We examine the properties of existentially closed (R^omega-embeddable) II_1 factors. In particular, we use the fact that every automorphism of an existentially closed (R^omega-embeddable) II_1 factor is approximately inner to prove that Th(R) is not model-complete. We also show that Th(R) is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th(R).

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

Recommendations

• Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• Existentially closed \(\mathrm{W}^*\)-probability spaces
• Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
• \(\mathrm{II}_1\) factors with nonisomorphic ultrapowers

zbMATH Keywords

continuous model theoryexistentially closed \(\mathrm{ II}_1\) factor

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Basic properties of first-order languages and structures (03C07) Model-theoretic forcing (03C25) Applications of model theory (03C98) Classification of factors (46L36) Continuous model theory, model theory of metric structures (03C66)

Cites Work

• Model theory for metric structures
• Model theory of operator algebras. II: Model theory
• Generic separable metric structures
• Title not available (Why is that?)
• Model theoretic forcing in analysis
• Absoluteness, truth, and quotients
• Model theory of operator algebras. I: Stability
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• Topological dynamical systems associated to \(\text{II}_{1}\)-factors
• Free entropy dimension in amalgamated free products
• On II\(_{1}\) factors arising from 2-cocycles of \(w\)-rigid groups
• Forcing, arithmetic, division rings
• The theory of tracial von Neumann algebras does not have a model companion

Cited In (22)

• The Connes embedding problem: a guided tour
• Remarks on the diagonal embedding and strong 1-boundedness
• Existential closedness and the structure of bimodules of \(\mathrm{II}_1\) factors
• Model theory of \(C^*\)-algebras
• The pseudoarc is a co-existentially closed continuum
• Properties expressible in small fragments of the theory of the hyperfinite \(\mathrm{II}_1\) factor
• On Popa's factorial commutant embedding problem
• Omitting types in logic of metric structures
• Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
• Existentially closed \(\mathrm{W}^*\)-probability spaces
• Robinson forcing and the quasidiagonality problem
• Oracle computability of conditional expectations onto subfactors
• Title not available (Why is that?)
• Continuous model theories for von Neumann algebras
• Structural properties of close II1 factors
• On Kirchberg's embedding problem
• Enforceable operator algebras
• Embedding universality for \(\mathrm{II}_1\) factors with property (T)
• 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
• Computability and the Connes embedding problem

This page was built for publication: Existentially closed \(\mathrm{ II}_1\) factors

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