Strong solvability and residual finiteness for finitely decidable varieties

Ralph McKenzie, Matthew Smedberg

If V is a finitely generated variety such that the first-order theory of the finite members of V is decidable, we show that V is residually finite, and in fact has a finite bound o…