Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verification of the Rudin statement scope
formulation_review: Retains the bounded review of the Rudin, Erdős 1944 and Erdős 1982 statement scopes.
The formulation review records a PASS for the exact scope of Rudin's theorem and the separation of the Erdős 1944 and 1982 questions on 2026-09-06. The complete construction proof is outside its scope and remains a compilation obligation.
Linked from (1)
Graph