Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Theory
ramsey_theory/: Original Ramsey-theoretic claims, with proof and verification standing recorded by each owner.
Theory is the home for new precise project claims. Each claim has an immutable L-number, distinct from the E-number identifying a catalog problem. A problem can concern several claims, and a claim can bear on several problems.
Source results keep their canonical homes in the source library. Approaches, editable sketches, partial work, and useful obstructions belong in research. A page's location does not change its mathematical or verification standing.
The claim layout and prospective review contracts are defined in the corpus conventions. Organizing areas and claim folders are added when they have mathematical content; this index asserts no claim.