强 Weihrauch 度中的并运算
逻辑
2017-04-06 v1 计算机科学中的逻辑
摘要
Weihrauch 度与强 Weihrauch 度是表示各类数学问题不可解程度的部分有序结构。其研究已广泛应用于可计算分析、复杂性理论，以及近来的可计算组合学。我们通过给出一种并运算（join operation），将这些度转化为格，从而回答了关于强 Weihrauch 度代数结构的一个开放问题。此前，强 Weihrauch 度仅已知构成下半格。接着我们证明，与已知构成分配格的 Weihrauch 度不同，强 Weihrauch 度的格不是分配的。因此，这两种结构不同构。
关键词
引用
@article{arxiv.1704.01494,
title = {Joins in the strong Weihrauch degrees},
author = {Damir Dzhafarov},
journal= {arXiv preprint arXiv:1704.01494},
year = {2017}
}