Reverse mathematics and colorings of hypergraphs

Caleb Davis, Jeffry Hirst, Jake Pardo +1

Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to ${\sf W…