Erdős problem 154
Let be a Sidon set with . Must be well-distributed over all small moduli? In particular, must about half the elements of be even and half odd?
Erdős Problems records this as proved (Lean).
No Repository has ruled on it here.
How far the record reaches4 of 6 stages
- Sourceerdos-problems
- StatementRetained
- Formal2 retained
- Resolutionproved (Lean)
- WorkNone recorded
- DecisionNone here
- The questionNot reached
What this record is missingWork
Nothing here has checked that finding.
Reproducing it here turns a report into evidence.
Where the source files it30 share a topic
None carries a Standing. Browse the topic.