论文标题
Weihrauch降低性的表征在包含e-pa $^ω$ + qf-ac $^{0,0} $的系统中
The characterization of Weihrauch reducibility in systems containing E-PA$^ω$ + QF-AC$^{0,0}$
论文作者
论文摘要
我们表征了e-pa $^ω$ + qf-ac $^{0,0} $中的weihrauch降低性，以及所有通过可易待性包含的系统，都在同一微积分的线性变体中使用gödel的辩证神解释的修改，这些解释的修改将线性逻辑中的想法结合了非逻辑，非标准算术算术，更高的计算能力和阶段的阶段，并具有较高的计算能力。
We characterize Weihrauch reducibility in E-PA$^ω$ + 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.
