Tameness of all Ulam expansions
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.
Sources & referencesView supporting material
Primary source
Frank Gilson, “Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences”, arXiv:2511.13066 (2025).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.