The characterization of Weihrauch reducibility in systems containing E-PA${}^{\omega }$ + QF-AC${}^{0,0}$

Patrick Uftring

We characterize Weihrauch reducibility in E-PA${}^{\omega }$ + QF-AC${}^{0,0}$ and all systems containing it by the provability in a linear variant of the same calculus using modifications of…