Cobham's theorem for the Gaussian integers

Álvaro Bustos-Gajardo, Robbert Fokkink, Reem Yassawi

Assuming the four exponentials conjecture, Hansel and Safer showed that if a subset $S$ of the Gaussian integers is both $\alpha =-m+i$- and $\beta =-n+i$-recognizable, then it is syndetic,…