TY  - RPRT
TI  - Characterizations of interpretability in bounded arithmetic
AU  - Joost J. Joosten
PY  - 2016
UR  - https://arxiv.org/abs/1602.00555
ID  - 1602.00555
ER  -