@misc{indiciae5d0ada074ac3, title = {The Brouwer invariance theorems in reverse mathematics}, author = {Takayuki Kihara}, year = {2020}, doi = {10.1017/fms.2020.52}, url = {https://arxiv.org/abs/2002.10715}, note = {Source identifier: 2002.10715} }