Model theory of operator algebras. II: Model theory
From MaRDI portal
(Redirected from Publication:466085)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 1671334 (Why is no real title available?)
- scientific article; zbMATH DE number 4180115 (Why is no real title available?)
- scientific article; zbMATH DE number 3963818 (Why is no real title available?)
- scientific article; zbMATH DE number 1302493 (Why is no real title available?)
- scientific article; zbMATH DE number 1962924 (Why is no real title available?)
- A dichotomy for the number of ultrapowers
- A note on approximate liftings
- A simple separable C*-algebra not isomorphic to its opposite algebra
- All automorphisms of the Calkin algebra are inner
- Central Sequences and the Hyperfinite Factor
- Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
- Continuous first order logic and local stability
- Countable saturation of corona algebras
- Espaces de Banach stables
- Extensions of \(C^*\)-algebras and \(K\)-homology
- Hyperlinear and Sofic Groups: A Brief Guide
- Maximal nests in the Calkin algebra
- Model theory for metric structures
- Model theory of operator algebras. I: Stability
- Notes on automorphisms of ultrapowers of II1factors
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- The commutant of \(L(H)\) in its ultrapower may or may not be trivial
- Theory of operator algebras. III
Cited in
(64)- Ultraproducts of von Neumann algebras
- Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
- A dichotomy for the number of ultrapowers
- Isomorphisms of quotients of FDD-algebras
- Concrete barriers to quantifier elimination in finite dimensional \(C^*\)-algebras
- AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
- Metric Scott analysis
- The pseudoarc is a co-existentially closed continuum
- Model theory of \(C^*\)-algebras
- Remarks on the diagonal embedding and strong 1-boundedness
- Unbounded actions of metric groups and continuous logic
- The Calkin algebra is not countably homogeneous
- Computability and the Connes embedding problem
- The Connes embedding problem: a guided tour
- Ring-theoretic (In)finiteness in reduced products of Banach algebras
- Existentially closed \(\mathrm{W}^*\)-probability spaces
- Nonseparable UHF algebras. I: Dixmier's problem
- Logic for metric structures and the number of universal sofic and hyperlinear groups
- The model theory of modules of a \(C^*\)-algebra
- Model-theoretic properties of dynamics on the Cantor set
- THE CLASSIFICATION PROBLEM FOR AUTOMORPHISMS OF C*-ALGEBRAS
- Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
- Model theory and Rokhlin dimension for compact quantum group actions
- Obstructions to countable saturation in corona algebras
- Enforceable operator algebras
- Decision procedures for the conditions true in certain metric structures
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
- Countable degree-1 saturation of certain \(C^*\)-algebras which are coronas of Banach algebras
- Fraïssé limits of \(C^*\)-algebras
- The commutant of \(L(H)\) in its ultrapower may or may not be trivial
- Tracial smooth functions of non-commuting variables and the free Wasserstein manifold
- ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
- Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
- Stably projectionless Fraïssé limits
- Applications of model theory to \(C^*\)-dynamics
- Linear model theory for Lipschitz structures
- Model theory of operator algebras
- On Kirchberg's embedding problem
- Omitting types and AF algebras
- Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
- Reduced products of metric structures: a metric Feferman-Vaught theorem
- A new bicommutant theorem
- Model structure on operads in orthogonal spectra
- Forking and stability in the representations of a \(C^*\)-algebra
- Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras
- Omitting types in logic of metric structures
- Locally compact groups which are separably categorical structures
- A survey on the model theory of tracial von Neumann algebras
- Between reduced powers and ultrapowers, II.
- Saturation and elementary equivalence of \(C^\ast\)-algebras
- Model theory of operator algebras. I: Stability
- The theory of tracial von Neumann algebras does not have a model companion
- Continuous model theories for von Neumann algebras
- Existentially closed \(\mathrm{ II}_1\) factors
- Uniformly super McDuff \(\mathrm{II}_1\) factors
- Optimal transport for types and convex analysis for definable predicates in tracial \(\mathrm{W}^\ast \)-algebras
- Relational bulk reconstruction from modular flow
- Between reduced powers and ultrapowers
- ℵ0‐categorical Banach spaces contain ℓp or c0
- Preservation of elementarity by tensor products of tracial von Neumann algebras
- Fraïssé theory for Cuntz semigroups
- Covering entropy for types in tracial W<sup>*</sup>-algebras
- A proof‐theoretic metatheorem for tracial von Neumann algebras
- A model theoretic perspective on matrix rings
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)
