TY  - RPRT
TI  - Iterative forcing and hyperimmunity in reverse mathematics
AU  - Ludovic Patey
PY  - 2015
UR  - https://arxiv.org/abs/1501.07709
ID  - 1501.07709
ER  -