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.