OP-01047 Solution claimed Is every group sofic, or hyperlinear? GR · approximate homomorphisms · Higman group · hyperlinear groups · sofic groups