@misc{indiciae707b72947d97,
  title = {Proof theory of weak compactness},
  author = {Toshiyasu Arai},
  year = {2013},
  doi = {10.1142/s0219061313500037},
  url = {https://arxiv.org/abs/1111.0462},
  note = {Source identifier: 1111.0462}
}