Tameness of all Ulam expansions
Let be coprime, let denote the expansion of by the associated Ulam predicate, and let be its theory. Tameness of all Ulam expansions. For every coprime , the theory is NIP and does not interpret . In particular, all expansions 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.
References
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.