Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group
Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group
复制标题
无挠双曲群基本理论的可判定性
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
A. Myasnikov
中科院分区：
文献类型：
--
作者：
O. Kharlampovich;A. Myasnikov
设 为无挠双曲群。我们证明 的基本理论是可判定的，并且允许对 89 个公式的布尔组合进行有效的量词消去。这种量词消除的存在先前在[37]中得到了证明。
Let be a torsion free hyperbolic group. We prove that the ele mentary theory of is decidable and admits an effective quantifier eli mination to boolean combination of 89-formulas. The existence of such quantifier elimination was previously proved in [37].
DOI：
10.1017/s030500410003824x
发表时间：
1964-10
影响因子：
0.8
作者：
W. Lickorish
通讯作者：
W. Lickorish