Title: Reduced products of UHF algebras under forcing axioms

Por • 25 mar, 2013 • Sección: Crítica

Paul McKenney

Abstract: If $A_n$ is a sequence of C*-algebras, then the C*-algebra $\prod A_n / \bigoplus A_n$ is called a reduced product. We prove, assuming Todorcevic’s Axiom and Martin’s Axiom, that every isomorphism between two reduced products of separable, unital UHF algebras must be definable in a strong sense. As a corollary we deduce that two such reduced products $\prod A_n / \bigoplus A_n$ and $\prod B_n / \bigoplus B_n$ are isomorphic if and only if, up to an almost-permutation of $\mathbb{N}$, $A_n$ is isomorphic to $B_n$.

arXiv:1303.5037v1 [math.LO]

Post to Twitter

Etiquetado con: , , , , , , , ,

Escribe un comentario