TY - RPRT TI - Coloring the rationals in reverse mathematics AU - Emanuele Frittaion AU - Ludovic Patey PY - 2016 UR - https://arxiv.org/abs/1508.00752 ID - 1508.00752 ER -