No CrossRef data available.
Published online by Cambridge University Press: 08 June 2021
Fix an abelian group $\Gamma $ and an injective endomorphism
$F\colon \Gamma \to \Gamma $. Improving on the results of [2], new characterizations are here obtained for the existence of spanning sets, F-automaticity, and F-sparsity. The model theoretic status of these sets is also investigated, culminating with a combinatorial description of the F-sparse sets that are stable in
$(\Gamma ,+)$, and a proof that the expansion of
$(\Gamma ,+)$ by any F-sparse set is NIP. These methods are also used to show for prime
$p\ge 7$ that the expansion of
$(\mathbb {F}_p[t],+)$ by multiplication restricted to
$t^{\mathbb {N}}$ is NIP.