I think the assumption that "for all x, p(x) = p(2x)" implies a uniform distribution on the natural numbers.

Imagine we have a distribution that satisfies that assumption, and then someone tells you they've sampled from that distribution and found that the result is of the form (say) 7*2^k, for some k > 0. That conditional distribution for k would seem to have to be uniform, right?