Erdős problem / erdos
no open offerProblem 590
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_6555446fb1b2d7aa
theoretical
Erdős Problem #590: declared status 'proved'. Formalized: yes. Prize: $250. Tags: ramsey theory, set theory.
recordedOpen record