通过等价关系的复杂性校准群的字问题
逻辑
2016-09-13 v1
摘要
(1) 存在一个有限呈现群，其字问题为一致有效不可分等价关系。(2) 存在一个由可计算置换构成的有限生成群，其字问题为通用余可计算枚举等价关系。(3) 每个 c.e. 真值表度都包含一个由可计算置换构成的有限生成群的字问题。
引用
@article{arxiv.1609.03371,
title = {Calibrating word problems of groups via the complexity of equivalence relations},
author = {André Nies and Andrea Sorbi},
journal= {arXiv preprint arXiv:1609.03371},
year = {2016}
}
备注
13 pages