@misc{indiciaea50d2dfbcec8,
  title = {Prenex normal form theorems in semi-classical arithmetic},
  author = {Makoto Fujiwara and Taishi Kurahashi},
  year = {2020},
  doi = {10.1017/jsl.2021.47},
  url = {https://arxiv.org/abs/2009.03485},
  note = {Source identifier: 2009.03485}
}