论 Weihrauch 度中问题的初等部分
逻辑
2023-01-31 v1
摘要
我们引入 Weihrauch 度中问题的“初等部分”（first-order part）这一概念。非正式地，问题 的初等部分是可 Weihrauch 归约到 的、具有余定义域 的最强问题。我们证明初等部分总是良定义的，考察该概念的一些基本性质，并刻画文献中若干知名问题的初等部分。
引用
@article{arxiv.2301.12733,
title = {On the first-order parts of problems in the Weihrauch degrees},
author = {Damir D. Dzhafarov and Reed Solomon and Keita Yokoyama},
journal= {arXiv preprint arXiv:2301.12733},
year = {2023}
}