含E-PA $^ω$ + QF-AC $^{0,0}$体系Weihrauch还原反应的表征
The characterization of Weihrauch reducibility in systems containing E-PA$^ω$ + QF-AC$^{0,0}$
摘要：
我们通过使用哥德尔辩证法解释的修改（结合了线性逻辑、非标准算术、高阶可计算性和阶段语义的思想）在同一微积分的线性变体中的可证明性来表征E-PA $^ω$ + QF-AC $^{0,0}$和所有包含它的系统中的Weihrauch可归约性。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
