含 E-PA$^{\omega}$ + QF-AC$^{0,0}$ 的系统中 Weihrauch 可归约性的刻画
逻辑
2021-07-15 v2
摘要
我们通过同一演算的线性变体中的可证性，利用修改的 Gödel Dialectica 解释（融入了来自线性逻辑、非标准算术、高阶可计算性和相语义的思想），刻画了 E-PA + QF-AC 以及所有包含它的系统中的 Weihrauch 可归约性。
引用
@article{arxiv.2003.13331,
title = {The characterization of Weihrauch reducibility in systems containing E-PA$^{\omega}$ + QF-AC$^{0,0}$},
author = {Patrick Uftring},
journal= {arXiv preprint arXiv:2003.13331},
year = {2021}
}
备注
This is the accepted version of a paper published in The Journal of Symbolic Logic