Abstract
AbstractWe 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.
Publisher
Cambridge University Press (CUP)
Reference25 articles.
1. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
2. [25] Weihrauch, K. , The degrees of discontinuity of some translators between representations of the real numbers, Technical Report TR-92-050, International Computer Science Institute, Berkeley, 1992.
3. The Blind Spot
4. Functional Interpretations of Intuitionistic Linear Logic
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献