TY  - RPRT
TI  - Slow and Ordinary Provability for Peano Arithmetic
AU  - Paula Henk
AU  - Fedor Pakhomov
PY  - 2016
UR  - https://arxiv.org/abs/1602.01822
ID  - 1602.01822
ER  -