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

Abstract

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 Gödel's Dialectica interpretation that incorporate ideas from linear logic, nonstandard arithmetic, higher-order computability, and phase semantics.

This is the accepted version of a paper published in The Journal of Symbolic Logic

References in corpus (2)

• Classical consequences of continuous choice principles from intuitionistic analysis
• Functional Interpretations of Intuitionistic Linear Logic