Computability and the Connes embedding problem
From MaRDI portal
Recommendations
- Properties expressible in small fragments of the theory of the hyperfinite \(\mathrm{II}_1\) factor
- Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
- The Connes embedding problem: a guided tour
- Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
- scientific article; zbMATH DE number 2207653
Cites work
- A proof of completeness for continuous first-order logic
- Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
- Existentially closed \(\mathrm{ II}_1\) factors
- Global weak solution for a singular two-component reaction-diffusion system
- scientific article; zbMATH DE number 1946951 (Why is no real title available?)
- Hyperlinear and Sofic Groups: A Brief Guide
- Model theory for metric structures
- Model theory of operator algebras. II: Model theory
- On rings of operators
- The analogues of entropy and of Fisher's information measure in free probability theory. II
- The theory of tracial von Neumann algebras does not have a model companion
Cited in
(26)- Oracle computability of conditional expectations onto subfactors
- Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
- Computability and Beltrami fields in Euclidean space
- On Kirchberg's embedding problem
- The theory of tracial von Neumann algebras does not have a model companion
- Can you compute the operator norm?
- scientific article; zbMATH DE number 6622835 (Why is no real title available?)
- Cyclic Hilbert spaces and Connes' embedding problem
- Computable copies of ℓ p 1
- scientific article; zbMATH DE number 800363 (Why is no real title available?)
- Enforceable operator algebras
- Computable Følner monotilings and a theorem of Brudno
- R we living in the matrix?
- Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
- scientific article; zbMATH DE number 2207653 (Why is no real title available?)
- The Connes embedding problem: a guided tour
- Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
- Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability
- A survey on the model theory of tracial von Neumann algebras
- \(\mathrm{MIP}^* = \mathrm{RE}\): a negative resolution to Connes' embedding problem and Tsirelson's problem
- Exposé Bourbaki 1203 : Algèbres de von Neumann, produits tensoriels, corrélations quantiques et calculabilité [d'après Ji, Natarajan, Vidick, Wright et Yuen]
- The computational content of Walras' existence theorem
- Locally universal C*-algebras with computable presentations
- The universal theory of the hyperfinite \(\mathrm{II}_1\) factor is not computable
- Undecidability and incompleteness in quantum information theory and operator algebras
- Quantum expanders and quantifier reduction for tracial von Neumann algebras
This page was built for publication: Computability and the Connes embedding problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5346695)
