Article contents
THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING
$E-PA^{\omega } + QF-AC^{0,0}$
Published online by Cambridge University Press: 27 October 2020
Abstract
We characterize Weihrauch reducibility in
$ \operatorname {\mathrm {E-PA^{\omega }}} + \operatorname {\mathrm {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.
Keywords
- Type
- Article
- Information
- Copyright
- © The Association for Symbolic Logic 2020
References
REFERENCES
- 2
- Cited by