TY - RPRT TI - Reverse mathematics and infinite traceable graphs AU - Peter Cholak AU - David Galvin AU - Reed Solomon PY - 2011 UR - https://arxiv.org/abs/1008.4548 ID - 1008.4548 ER -