Reverse mathematics and colorings of hypergraphs
Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to WKL, ACA, and Π11-CA0. © 2018, Springer-Verlag GmbH Germany, part of Springer Nature.
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer New York LLC
2019
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |