TY - RPRT TI - Degrees bounding principles and universal instances in reverse mathematics AU - Ludovic Patey PY - 2014 UR - https://arxiv.org/abs/1411.1599 ID - 1411.1599 ER -