TY  - RPRT
TI  - The Brouwer invariance theorems in reverse mathematics
AU  - Takayuki Kihara
PY  - 2020
DO  - 10.1017/fms.2020.52
UR  - https://arxiv.org/abs/2002.10715
ID  - 2002.10715
ER  -