Ramsey Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Ramsey Theory.

• Hales–Jewett theorem — A Ramsey-theoretic theorem guaranteeing a monochromatic combinatorial line in every sufficiently high-dimensional finite word cube.