Reverse mathematics and colorings of hypergraphs
Abstract
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 WKL}_0$, ${\sf ACA}_0$ and $\Pi ^1_ 1$-${\sf CA}_0$.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2018
- DOI:
- arXiv:
- arXiv:1804.09638
- Bibcode:
- 2018arXiv180409638D
- Keywords:
-
- Mathematics - Logic;
- 03B30;
- 03F35
- E-Print:
- Preprint info in leading footnote updated