Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
1936_01_01_davenport_erdos: The set of multiples of any sequence has a logarithmic density, so the survivor set has one whenever every residue set is the zero class; proved in 1936 by Dirichlet series and again in 1951 elementarily; refereed.
2026_07_16_wang: Shouqiao Wang's AI-assisted manuscript of July 2026 claims a fixed system of moduli and residue sets whose survivor set has no logarithmic density; posted to the site's proof-claims tab with a Lean development, unreviewed.
Linked from (1)
Graph