First-order model theory and Kaplansky's stable finiteness conjecture

Tullio Ceccherini-Silberstein, Michel Coornaert, Xuan Kien Phung

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. In other words, every gro…