Tameness of all Ulam expansions

Let (a,b)(a,b) be coprime, let Ua,b\mathcal{U}_{a,b} denote the expansion of (N,+,0,1)(\mathbb{N},+,0,1) by the associated Ulam predicate, and let Th(Ua,b)\operatorname{Th}(\mathcal{U}_{a,b}) be its theory. Tameness of all Ulam expansions. For every coprime (a,b)(a,b), the theory Th(Ua,b)\operatorname{Th}(\mathcal{U}_{a,b}) is NIP and does not interpret (N,+,×)(\mathbb{N},+,\times). In particular, all expansions (N,+,Ua,b)(\mathbb{N},+,\mathrm{U}_{a,b}) are model-theoretically tame in the sense of classification theory. This asks whether the tameness established under strong rigidity extends to every coprime parameter pair; the source presents it as an open conjecture.

Sources & referencesView supporting material

Primary source

Frank Gilson, “Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences”, arXiv:2511.13066 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.