Erdős problem / erdos
no open offerProblem 179
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_d429ffd6e1cc9662
theoretical
Erdős Problem #179: declared status 'proved'. Formalized: no. Prize: no. Tags: additive combinatorics, arithmetic progressions.
recordedOpen record