1 problem

Let $(a,b)$ be coprime, and let $\mathcal{U}_{a,b}$ denote the expansion of $(\mathbb{N},+,0,1)$ by the predicate for the associated Ulam sequence. Non-interpretability of multipli…