TY  - RPRT
TI  - Honest elementary degrees and degrees of relative provability without the cupping property
AU  - Paul Shafer
PY  - 2016
UR  - https://arxiv.org/abs/1604.06592
ID  - 1604.06592
ER  -