TY  - RPRT
TI  - The Erdős-Selfridge and the Schinzel-Tijdeman theorems hold in $PA^-$
AU  - Victor Pambuccian
PY  - 2015
UR  - https://arxiv.org/abs/1410.8441
ID  - 1410.8441
ER  -