All Questions

Let us define a group $G$ to be a hyperlinear group if it satisfies the conclusion of Theorem 3.6. in these notes by Vladimir Pestov. It is well-known that one can use the so-called amplification ...

I am looking for a reference (or a simple proof) of the fact that a free group is sofic. The preferred dynamical definition of a sofic group seems to be that there is a sequence of finite sets $V_n$ ...