Status
On this page
Status
Topics
Status
On this page
Status
Topics
Is there a distinct covering system all of whose moduli are odd?
Source: erdosproblems.com/7
No claim settles this problem.
Verifiable, the site's label for this open question. The exact unrestricted question is not settled by the finite exclusions below. Two full disproof claims from the site's discussion thread are recorded on claim pages, one rejected and one conditional on an unproved axiom; four refereed exclusions of classes of odd coverings are accepted partial claims, by Berger, Felzenbaum and Fraenkel for at most five primes, by Hough and Nielsen and by Balister, Bollobás, Morris, Sahasrabudhe and Tiba for the square-free case and the period divisible by 9 or 15. The Mian–Siddique exclusion of periods up to , with third-party Lean, is a pending partial claim. None settles the question, so the derived standing is open.