Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Dissociated extraction and coloring
evidence/: Exact finite checks of published examples for the E0774 research, each with its checker, its inputs and its exact scope.
lemmas/: A reconstruction of the published finite-block reduction for Problem 774.
source_notes/: Paper summaries and source comparisons used in the research on Problem 774.
Problem 774 is open. The target is Problem 774's dated assessment, whose status this research does not change.
The finite-block reduction of Grow and Whicher reduces the problem to finite sets with one hereditary full-dissociation extraction constant and unbounded actual dissociated coloring. The evidence folder checks the published Grow–Whicher and Ramsey–Graham examples exactly, and the source notes summarize the literature.