Model theory of operator algebras. II: Model theory

DOI10.1007/s11856-014-1046-7zbMath1301.03037arXiv1004.0741OpenAlexW2171661581MaRDI QIDQ466085

Bradd Hart, Ilijas Farah, David J. Sherman

Publication date: 24 October 2014

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General theory of von Neumann algebras (46L10) General theory of (C^*)-algebras (46L05) Continuum hypothesis and Martin's axiom (03E50) Applications of model theory (03C98)

Related Items (50)

Stably projectionless Fraïssé limits ⋮ The pseudoarc is a co-existentially closed continuum ⋮ Between reduced powers and ultrapowers, II. ⋮ Uniqueness, universality, and homogeneity of the noncommutative Gurarij space ⋮ FORKING AND STABILITY IN THE REPRESENTATIONS OF A C*-ALGEBRA ⋮ Obstructions to countable saturation in corona algebras ⋮ Nonseparable UHF algebras. I: Dixmier's problem ⋮ Existentially closed \(\mathrm{W}^*\)-probability spaces ⋮ FRAÏSSÉ LIMITS OF C*-ALGEBRAS ⋮ Logic for metric structures and the number of universal sofic and hyperlinear groups ⋮ Applications of model theory to \(C^*\)-dynamics ⋮ Omitting types in logic of metric structures ⋮ Metric Scott analysis ⋮ Tracial smooth functions of non-commuting variables and the free Wasserstein manifold ⋮ Decision procedures for the conditions true in certain metric structures ⋮ THE CLASSIFICATION PROBLEM FOR AUTOMORPHISMS OF C*-ALGEBRAS ⋮ COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM ⋮ Unbounded actions of metric groups and continuous logic ⋮ Isomorphisms of quotients of FDD-algebras ⋮ Between reduced powers and ultrapowers ⋮ Remarks on the diagonal embedding and strong 1-boundedness ⋮ ℵ₀‐categorical Banach spaces contain ℓp or c₀ ⋮ A proof‐theoretic metatheorem for tracial von Neumann algebras ⋮ Concrete barriers to quantifier elimination in finite dimensional C*‐algebras ⋮ Covering entropy for types in tracial W^*-algebras ⋮ Omitting types and AF algebras ⋮ REDUCED PRODUCTS OF METRIC STRUCTURES: A METRIC FEFERMAN–VAUGHT THEOREM ⋮ Countable degree-1 saturation of certain \(C^*\)-algebras which are coronas of Banach algebras ⋮ AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS ⋮ Saturation and elementary equivalence of \(C^\ast\)-algebras ⋮ ENFORCEABLE OPERATOR ALGEBRAS ⋮ Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras ⋮ Locally compact groups which are separably categorical structures ⋮ A new bicommutant theorem ⋮ Model theory of operator algebras III: elementary equivalence and II₁factors ⋮ The commutant of \(L(H)\) in its ultrapower may or may not be trivial ⋮ Ultraproducts of von Neumann algebras ⋮ Existentially closed ${\rm II}_1$ factors ⋮ Model theory of 𝐶*-algebras ⋮ The Calkin algebra is not countably homogeneous ⋮ ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS ⋮ Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors ⋮ Continuous model theories for von Neumann algebras ⋮ Model-theoretic properties of dynamics on the Cantor set ⋮ Model theory and Rokhlin dimension for compact quantum group actions ⋮ CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC ⋮ Ring-theoretic (In)finiteness in reduced products of Banach algebras ⋮ On Kirchberg's embedding problem ⋮ Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete ⋮ The Connes embedding problem: A guided tour

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• All automorphisms of the Calkin algebra are inner
• The commutant of \(L(H)\) in its ultrapower may or may not be trivial
• Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
• Extensions of \(C^*\)-algebras and \(K\)-homology
• Espaces de Banach stables
• Theory of operator algebras. III
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Continuous first order logic and local stability
• A DICHOTOMY FOR THE NUMBER OF ULTRAPOWERS
• A note on approximate liftings
• Notes on automorphisms of ultrapowers of II₁factors
• Maximal nests in the Calkin algebra
• A simple separable C*-algebra not isomorphic to its opposite algebra
• Countable saturation of corona algebras
• Model theory of operator algebras I: stability
• Hyperlinear and Sofic Groups: A Brief Guide
• Central Sequences and the Hyperfinite Factor

This page was built for publication: Model theory of operator algebras. II: Model theory