TY  - RPRT
TI  - Reverse mathematics and Weihrauch analysis motivated by finite complexity theory
AU  - Zack BeMent
AU  - Jeffry Hirst
AU  - Asuka Wallace
PY  - 2021
UR  - https://arxiv.org/abs/2105.01719
ID  - 2105.01719
ER  -