On automatic subsets of the Gaussian integers

Wieb Bosma, Robbert Fokkink, Thijmen Krebs

Suppose that $a$ and $b$ are multiplicatively independent Gaussian integers, that are both of modulus~$\ge \sqrt{5}$. We prove that there exist a $X\subset \mathbb{Z}[i]$ which is $…