SWhat changed
Colour every word of a fixed length using a fixed finite alphabet. Hales and Jewett prove that, once the length is large enough, some family of words has one colour while the same nonempty positions vary together through the alphabet. This shared pattern is a combinatorial line. The theorem connects Ramsey-type regularity, arithmetic progressions and high-dimensional positional games.
Scientific scope
Colour every word of a fixed length using a fixed finite alphabet. Hales and Jewett prove that, once the length is large enough, some family of words has one colour while the same nonempty positions vary together through the alphabet. This shared pattern is a combinatorial line. The theorem connects Ramsey-type regularity, arithmetic progressions and high-dimensional positional games. A combinatorial line is obtained by replacing a nonempty common set of variable positions with the same alphabet letter while fixing all other positions. This is not a density theorem, an exact formula for minimal Hales–Jewett numbers, every ordinary geometric line, or a claim that all small tic-tac-toe boards lack draws. Finite alphabet/colour and sufficient-dimension quantifiers are retained. Inherited Ramsey/van der Waerden, compactness and Hall tools remain credited.
Evidence
The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. A combinatorial line is obtained by replacing a nonempty common set of variable positions with the same alphabet letter while fixing all other positions. This is not a density theorem, an exact formula for minimal Hales–Jewett numbers, every ordinary geometric line, or a claim that all small tic-tac-toe boards lack draws. Finite alphabet/colour and sufficient-dimension quantifiers are retained. Inherited Ramsey/van der Waerden, compactness and Hall tools remain credited.
Contributors
- The named authors in the research record · SCIENCE: Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.
Provisional WRS assessment, edition 2026-10-23.4. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction