TY - RPRT TI - Open questions about Ramsey-type statements in reverse mathematics AU - Ludovic Patey PY - 2024 UR - https://arxiv.org/abs/1506.04780 ID - 1506.04780 ER -