Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verify
ho_theorem_1_6/: Independent refutation attempt and PASS grade for Ho's whole p=2 construction and definite Problem 995 consequence.
These records cover the fixed function, lacunary sequence, common full-measure set and exact catalog implication. They do not extend acceptance to other source clauses.
Graph