TY  - RPRT
TI  - Predicativity beyond Gamma_0
AU  - Nik Weaver
PY  - 2009
UR  - https://arxiv.org/abs/math/0509244
ID  - math/0509244
ER  -