TY  - RPRT
TI  - Pi^0_1 ordinal analysis beyond first order arithmetic
AU  - J. J. Joosten
PY  - 2012
UR  - https://arxiv.org/abs/1212.2395
ID  - 1212.2395
ER  -