关于Weihrauch度的代数结构
计算机科学中的逻辑
2023-06-22 v8 逻辑
摘要
我们在 Weihrauch 度上引入了两种新运算（复合积与蕴涵），并研究了整体的代数结构。研究了各种分配律的有效性，并作为与残差格和并发 Kleene 代数等类似结构比较的基础。通过引入关于复合积的理想概念，我们可以考虑 Weihrauch 度的合适商。我们还利用蕴涵证明了某些特定刻画。为了引入和研究复合积与蕴涵，我们引入并研究了多值连续函数的函数空间。该空间对于与可容许表示空间密切相关的可有效追踪空间表现得特别良好。
引用
@article{arxiv.1604.08348,
title = {On the algebraic structure of Weihrauch degrees},
author = {Vasco Brattka and Arno Pauly},
journal= {arXiv preprint arXiv:1604.08348},
year = {2023}
}