@misc{indiciaea9d9da4f7a3d,
  title = {Consistency proof of a fragment of PV with substitution in bounded arithmetic},
  author = {Yoriyuki Yamagata},
  year = {2018},
  doi = {10.1017/jsl.2018.14},
  url = {https://arxiv.org/abs/1411.7087},
  note = {Source identifier: 1411.7087}
}