FrontierMath Ramsey Hypergraphs

Source: arxiv:1908.10914, doi:10.1016/j.ejc.2021.103349 Authors: Dean Cureton Status: verified Main declarations: HypergraphLowerBound.thm_main_H_lower_bound Tags: combinatorics, hypergraphs, ramsey-theory, extremal-combinatorics, frontiermath MSC: 05C65, 05D10, 03E02