TY  - RPRT
TI  - Computable Ramsey's Theorem for Pairs Needs Infinitely Many Pi-0-2 Sets
AU  - Gregory Igusa
AU  - Henry Towsner
PY  - 2015
UR  - https://arxiv.org/abs/1507.03256
ID  - 1507.03256
ER  -