TY  - JOUR
AU  - Takayuki Kihara
TI  - The Brouwer invariance theorems in reverse mathematics
JO  - Forum of Mathematics, Sigma
PY  - 2020
VL  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2020.52/
DO  - 10.1017/fms.2020.52
LA  - en
ID  - 10_1017_fms_2020_52
ER  -