通过可计算的归约对有限生成代数的词问题进行分类
摘要：通过计算机可枚举等价关系（ceers）理论的视角，我们为近期的研究计划做出了贡献，该计划旨在重新审视组合代数中一个重要的研究领域——单词问题的复杂性。为了进行我们的分析，我们依赖于最常用的评估ceers复杂性的方式，即基于等价关系的可计算还原性及其对应的程度结构（c-程度）。在负面方面，借鉴了Kasymov和Khoussainov的先前工作，我们确定了一系列无法由有限类型的任何有限生成代数的单词问题实现的ceers的c-程度。在正面方面，我们展示了有限生成半群的单词问题实现了一系列嵌入丰富结构且在多个合理方式下都很大的c-程度。
作者：Valentino Delle Rose, Luca San Mauro, and Andrea Sorbi
论文ID：2305.11563
分类：Logic
分类简称：math.LO
提交时间：2023-05-22