Which conjectures about groups are resolved in case of sofic groups?
I know two examples:
- Kaplansky's direct finiteness conjecture (proved by Gabor Elek).
- Some versions of Ornstein's isomorphism theorem (proved by Lewis Bowen).
What other examples are there?