@misc{indiciae95613a017d6c, title = {End-extensions of models of weak arithmetic from complexity-theoretic containments}, author = {Leszek Aleksander Kołodziejczyk}, year = {2014}, url = {https://arxiv.org/abs/1411.6864}, note = {Source identifier: 1411.6864} }