On von Neumann regular rings with an automorphism

We study the first-order theory of Bezout difference rings. In particular we show that rings of sequences very rarely have decidable theories as difference rings, or even decidable model completions.