无挠双曲群初等理论的可判定性
群论
2017-04-17 v8
摘要
设是一个无挠双曲群。我们证明的初等理论是可判定的，并且允许有效量词消去为AE公式的布尔组合。这种量词消去的存在性此前由Sela证明。
引用
@article{arxiv.1303.0760,
title = {Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group},
author = {Olga Kharlampovich and Alexei Myasnikov},
journal= {arXiv preprint arXiv:1303.0760},
year = {2017}
}
备注
Misprints and errors corrected, referee suggestions addressed. arXiv admin note: substantial text overlap with arXiv:1207.1900