Reverse mathematics and colorings of hypergraphs

DOI10.1007/s00153-018-0654-zzbMath1477.03029arXiv1804.09638MaRDI QIDQ2312088

Jeffry L. Hirst, Caleb Davis, Jake Pardo, Tim Ransom

Publication date: 4 July 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.09638

zbMATH Keywords

hypergraph; vertex coloring; reverse mathematics

Mathematics Subject Classification ID

05C65: Hypergraphs

05C15: Coloring of graphs and hypergraphs

03B30: Foundations of classical theories (including reverse mathematics)

03F35: Second- and higher-order arithmetic and fragments