Quantifier Elimination in $\mathrm{C}^*$-Algebras

DOI10.1093/IMRN/RNW236zbMath1404.03029arXiv1502.00573OpenAlexW2565263855MaRDI QIDQ4612100

Alessandro Vignati, Ilijas Farah, Christopher James Eagle, Eberhard Kirchberg

Publication date: 22 January 2019

Published in: International Mathematics Research Notices (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General theory of von Neumann algebras (46L10) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (5)

Obstructions to countable saturation in corona algebras ⋮ Model-theoretic aspects of the Gurarij operator system ⋮ Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability ⋮ Concrete barriers to quantifier elimination in finite dimensional C*‐algebras ⋮ Model theory of 𝐶*-algebras

This page was built for publication: Quantifier Elimination in $\mathrm{C}^*$-Algebras