Reverse mathematics and colorings of hypergraphs
classification
🧮 math.LO
keywords
hypergraphsarithmeticcoloringcoloringsequivalenceformulatemathematicsorder
read the original 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$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.