TY  - RPRT
TI  - Refining the arithmetical hierarchy of classical principles
AU  - Makoto Fujiwara
AU  - Taishi Kurahashi
PY  - 2022
UR  - https://arxiv.org/abs/2010.11527
ID  - 2010.11527
ER  -