A new bicommutant theorem
  We prove an analogue of Voiculescu's theorem: Relative bicommutant of a separable unital subalgebra $A$ of an ultraproduct of simple unital C*-algebras is equal to $A$. 
Ilijas Farah
math.OA math.LO