Model theory of operator algebras. II: Model theory
From MaRDI portal
Publication:466085
DOI10.1007/S11856-014-1046-7zbMATH Open1301.03037arXiv1004.0741OpenAlexW2171661581MaRDI QIDQ466085FDOQ466085
Authors: Ilijas Farah, Bradd Hart, David Sherman 
Publication date: 24 October 2014
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Abstract: We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with nonprincipal ultrafilters on N are isomorphic even when the Continuum Hypothesis fails.
Full work available at URL: https://arxiv.org/abs/1004.0741
Recommendations
General theory of (C^*)-algebras (46L05) General theory of von Neumann algebras (46L10) Applications of model theory (03C98) Continuum hypothesis and Martin's axiom (03E50)
Cites Work
- Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
- Extensions of \(C^*\)-algebras and \(K\)-homology
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- Espaces de Banach stables
- Model theory for metric structures
- Continuous first order logic and local stability
- Countable saturation of corona algebras
- Theory of operator algebras. III
- Hyperlinear and Sofic Groups: A Brief Guide
- All automorphisms of the Calkin algebra are inner
- A note on approximate liftings
- A simple separable C*-algebra not isomorphic to its opposite algebra
- A dichotomy for the number of ultrapowers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Notes on automorphisms of ultrapowers of II1factors
- Title not available (Why is that?)
- Title not available (Why is that?)
- Maximal nests in the Calkin algebra
- Title not available (Why is that?)
- Model theory of operator algebras. I: Stability
- Central Sequences and the Hyperfinite Factor
- The commutant of \(L(H)\) in its ultrapower may or may not be trivial
Cited In (64)
- The Connes embedding problem: a guided tour
- Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
- Remarks on the diagonal embedding and strong 1-boundedness
- Logic for metric structures and the number of universal sofic and hyperlinear groups
- Stably projectionless Fraïssé limits
- Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
- Reduced products of metric structures: a metric Feferman-Vaught theorem
- Model theory of \(C^*\)-algebras
- THE CLASSIFICATION PROBLEM FOR AUTOMORPHISMS OF C*-ALGEBRAS
- The pseudoarc is a co-existentially closed continuum
- Nonseparable UHF algebras. I: Dixmier's problem
- Model-theoretic properties of dynamics on the Cantor set
- Obstructions to countable saturation in corona algebras
- Linear model theory for Lipschitz structures
- Between reduced powers and ultrapowers, II.
- Saturation and elementary equivalence of \(C^\ast\)-algebras
- Unbounded actions of metric groups and continuous logic
- Model theory and Rokhlin dimension for compact quantum group actions
- Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
- Metric Scott analysis
- Countable degree-1 saturation of certain \(C^*\)-algebras which are coronas of Banach algebras
- Omitting types in logic of metric structures
- Tracial smooth functions of non-commuting variables and the free Wasserstein manifold
- ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
- Isomorphisms of quotients of FDD-algebras
- Existentially closed \(\mathrm{W}^*\)-probability spaces
- A dichotomy for the number of ultrapowers
- Continuous model theories for von Neumann algebras
- Concrete barriers to quantifier elimination in finite dimensional \(C^*\)-algebras
- Fraïssé limits of \(C^*\)-algebras
- The commutant of \(L(H)\) in its ultrapower may or may not be trivial
- On Kirchberg's embedding problem
- Forking and stability in the representations of a \(C^*\)-algebra
- A survey on the model theory of tracial von Neumann algebras
- Enforceable operator algebras
- Applications of model theory to \(C^*\)-dynamics
- Model theory of operator algebras
- Existentially closed \(\mathrm{ II}_1\) factors
- Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
- Ultraproducts of von Neumann algebras
- AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
- Ring-theoretic (In)finiteness in reduced products of Banach algebras
- The model theory of modules of a \(C^*\)-algebra
- Model structure on operads in orthogonal spectra
- Model theory of operator algebras. I: Stability
- Decision procedures for the conditions true in certain metric structures
- Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras
- Locally compact groups which are separably categorical structures
- The theory of tracial von Neumann algebras does not have a model companion
- Computability and the Connes embedding problem
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
- The Calkin algebra is not countably homogeneous
- Omitting types and AF algebras
- A new bicommutant theorem
- Optimal transport for types and convex analysis for definable predicates in tracial \(\mathrm{W}^\ast \)-algebras
- Fraïssé theory for Cuntz semigroups
- Relational bulk reconstruction from modular flow
- Between reduced powers and ultrapowers
- Covering entropy for types in tracial W<sup>*</sup>-algebras
- Preservation of elementarity by tensor products of tracial von Neumann algebras
- ℵ0‐categorical Banach spaces contain ℓp or c0
- A proof‐theoretic metatheorem for tracial von Neumann algebras
- A model theoretic perspective on matrix rings
- Uniformly super McDuff \(\mathrm{II}_1\) factors
This page was built for publication: Model theory of operator algebras. II: Model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466085)
