作者: Ilijas Farah , Bradd Hart , David Sherman
DOI: 10.1007/S11856-014-1046-7
关键词: Affiliated operator 、 Von Neumann's theorem 、 Algebra 、 C*-algebra 、 Von Neumann algebra 、 Free probability 、 Tomita–Takesaki theory 、 Abelian von Neumann algebra 、 Mathematics 、 Operator algebra
摘要: We introduce a version of logic for metric structures suitable applications to C*-algebras and tracial von Neumann algebras. also prove purely model-theoretic result the effect that theory separable structure is stable if only all its ultrapowers associated with nonprincipal ultrafilters on ℕ are isomorphic even when Continuum Hypothesis fails.