Undecidability of expansions of Laurent series fields by cyclic discrete subgroups

Leo Gitin

In 1987, Pheidas showed that the field of Laurent series ${\mathbb{F}}_q((t))$ with a constant for the indeterminate $t$ and a predicate for the natural powers $\{t^n\mid n>0\}$ o…