THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING $E-PA^{omega } + QF-AC^{0,0}$
THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING
$E-PA^{omega } + QF-AC^{0,0}$
复制标题
含有 $E-PA^{omega } QF-AC^{0,0}$ 的系统中魏劳赫还原性的表征
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Patrick Uftring
中科院分区：
文献类型：
--
作者：
Patrick Uftring
摘要 我们描述 Weihrauch 可约简性
$ 运算符名称 {mathrm {E-PA^{omega }}} + 运算符名称 {mathrm {QF-AC^{0,0}}}$
以及包含它的所有系统，通过使用哥德尔辩证法解释的修改来证明同一微积分的线性变体的可证明性，该解释结合了线性逻辑、非标准算术、高阶可计算性和阶段语义的思想。
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.