TY  - RPRT
TI  - Two series of formalized interpretability principles for weak systems of arithmetic
AU  - Evan Goris
AU  - Joost J. Joosten
PY  - 2015
UR  - https://arxiv.org/abs/1503.09130
ID  - 1503.09130
ER  -