TY  - RPRT
TI  - End-extensions of models of weak arithmetic from complexity-theoretic containments
AU  - Leszek Aleksander Kołodziejczyk
PY  - 2014
UR  - https://arxiv.org/abs/1411.6864
ID  - 1411.6864
ER  -