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