Problem
erdos:16False ↔ ∃ A B, Erdos16.Erdos16Set = A ∪ B ∧ (∃ a, ∃ d > 0, A = {x | ∃ m, x = a + m * d}) ∧ Erdos16.density_zero B
Matching claims
No direct claims
This problem has no directly related claim record.
Problem
erdos:16Find a Problem, Result, source, or page