TY - RPRT TI - Using Ramsey's Theorem Once AU - Jeffry L. Hirst AU - Carl Mummert PY - 2020 UR - https://arxiv.org/abs/1611.03134 ID - 1611.03134 ER -