1: \begin{abstract}

2: Using algebraic geometry methods, the third author proved that the group ring of a surjunctive group with coefficients in a field is always stably finite.

3: In other words, every group satisfying Gottschalk's conjecture also satisfies Kaplansky's stable finiteness conjecture.

4: Here we present a  proof  of this result based on  first-order model theory.

5: \end{abstract}