Title: The characterization of Weihrauch reducibility in systems containing $E$-$PA^omega$ + $QF$-$AC^{0,0}$
by Patrick Uftring (TU Darmstadt) as part of Computability theory and applications
Abstract
We characterize Weihrauch reducibility in E-PAω + QF-AC0,0 and all systems containing it by the provability in a linear variant of the same calculus using modifications of Gödel’s Dialectica interpretation that incorporate ideas from linear logic, nonstandard arithmetic, higher-order computability, and phase semantics. A full preprint is available here: https://arxiv.org/abs/2003.13331