Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Finite unions of quasi-independent sets
David Grow and William C. Whicher, "Finite unions of quasi-independent sets," Canadian Mathematical Bulletin 27 (1984), 490–493; the card names the copy read, and no file is held.
What the research consumes
The card carries the digest: the fifteen-point example, the equivalence of the infinite covering question over with a uniform finite covering question, and the scale-separated block construction. The research consumes all three.
The example , with hereditary extraction ratio two and no proper two-coloring, is verified exhaustively by the Grow–Whicher probe. The reduction to finite blocks, with the growth inequality displayed on printed p. 492, is restated and proved for positive integer blocks in the finite-block theorem. The paper's computation is not accompanied by its programs; the probe replaces it. Reading depth is claims checked, with the reduction reproved and the example recomputed here.