Elementary theory of free non-abelian groups
Elementary theory of free non-abelian groups
复制标题
DOI：
10.1016/j.jalgebra.2006.03.033
复制
发表时间：
2006-08
影响因子：
0.9
通讯作者：
O. Kharlampovich;A. Myasnikov
中科院分区：
文献类型：
--
作者：
O. Kharlampovich;A. Myasnikov
证明了任意两个非交换自由群有相同的基本理论，并且这个基本理论是可判定的。这些结果解决了塔斯基在1945年提出的两个问题。
We prove that any two non-abelian free groups have the same elementary theory and that this theory is decidable. These results solve two questions that were raised by Tarski in 1945.