Model theory of operator algebras II: Model theory
Logic
2013-07-16 v5 Operator Algebras
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.
Keywords
Cite
@article{arxiv.1004.0741,
title = {Model theory of operator algebras II: Model theory},
author = {Ilijas Farah and Bradd Hart and David Sherman},
journal= {arXiv preprint arXiv:1004.0741},
year = {2013}
}
Comments
20 pages; references are not missing this time