TY  - RPRT
TI  - The characterization of Weihrauch reducibility in systems containing E-PA$^ω$ + QF-AC$^{0,0}$
AU  - Patrick Uftring
PY  - 2021
DO  - 10.1017/jsl.2020.53
UR  - https://arxiv.org/abs/2003.13331
ID  - 2003.13331
ER  -