Reverse mathematics and colorings of hypergraphs

Caleb Davis, Jeffry L. Hirst, Jake Pardo, Tim Ransom. Reverse mathematics and colorings of hypergraphs. Arch. Math. Log., 58(5-6):575-585, 2019. [doi]

Abstract

Abstract is missing.