Erdős problem / erdos
no open offerProblem 645
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_093e2605b700e548
theoretical
Erdős Problem #645: declared status 'proved'. Formalized: yes. Prize: no. Tags: additive combinatorics, number theory, ramsey theory.
recordedOpen record