TY  - RPRT
TI  - Iterating reflection over intuitionistic arithmetic
AU  - Emanuele Frittaion
PY  - 2025
DO  - 10.1017/s1755020326101117
UR  - https://arxiv.org/abs/2411.07777
ID  - 2411.07777
ER  -