TY  - RPRT
TI  - Prenex normal form theorems in semi-classical arithmetic
AU  - Makoto Fujiwara
AU  - Taishi Kurahashi
PY  - 2020
DO  - 10.1017/jsl.2021.47
UR  - https://arxiv.org/abs/2009.03485
ID  - 2009.03485
ER  -