Sofic metric groups and continuous logic
  We define sofic, weakly sofic, linear sofic and hyperlinear metric groups and discuss some issues involving axiomatizability of these classes in continuous logic. 
A. Ivanov
math.GR math.LO