Existentially closed II₁ factors

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

David Sherman, Bradd Hart, Isaac Goldbring, Ilijas Farah

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 II₁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)

• Remarks on the diagonal embedding and strong 1-boundedness
• Existential closedness and the structure of bimodules of \(\mathrm{II}_1\) factors
• The pseudoarc is a co-existentially closed continuum
• Properties expressible in small fragments of the theory of the hyperfinite \(\mathrm{II}_1\) factor
• Omitting types in logic of metric structures
• ENFORCEABLE OPERATOR ALGEBRAS
• Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
• Model theory of 𝐶*-algebras
• 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
• COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM
• Structural properties of close II1 factors
• On Kirchberg's embedding problem
• The Connes embedding problem: A guided tour
• 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
• On Popa’s factorial commutant 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)