TY  - RPRT
TI  - Comparing the strength of diagonally non-recursive functions in the absence of $Σ^0_2$ induction
AU  - François G. Dorais
AU  - Jeffry L. Hirst
AU  - Paul Shafer
PY  - 2015
UR  - https://arxiv.org/abs/1401.3823
ID  - 1401.3823
ER  -