TY - RPRT TI - The weakness of being cohesive, thin or free in reverse mathematics AU - Ludovic Patey PY - 2016 UR - https://arxiv.org/abs/1502.03709 ID - 1502.03709 ER -