TY  - RPRT
TI  - A note on an alleged proof of the relative consistency of P=NP with PA
AU  - Ralf Schindler
PY  - 2000
UR  - https://arxiv.org/abs/math/0007025
ID  - math/0007025
ER  -