On theory of finite subsets monoid for one torsion abelian group
Ранее был доказан следующий результат: если абелева группа $\gG$ не является группой кручения, то теория моноида ее конечных подмножеств позволяет интерпретировать элементарную арифметику. В настоящей работе мы приводим пример, который показывает, что аналогичный результат можно получить и, по крайней мере, для некоторых групп кручения. Earlier it was proved the following claim. Let $\gG$ be a non-torsion abelian group and $\gG$ be the semigroup of finite subsets of $\gG$. Then elementary arithmetic can be interpreted in $\gG^*$, so the theory of $\gG^*$ is undecidable. Here we prove the same result for one torsion group, the multiplicative group of all roots of unity.
Keyword(s):
1989 ◽
Vol 41
(1)
◽
pp. 14-67
◽
Keyword(s):
1973 ◽
Vol 73
(1)
◽
pp. 29-36
Keyword(s):
Keyword(s):
1972 ◽
Vol 15
(4)
◽
pp. 529-534
◽
Keyword(s):
Keyword(s):
1983 ◽
Vol 26
(1)
◽
pp. 13-19
◽
Keyword(s):
1967 ◽
Vol 63
(4)
◽
pp. 923-928
◽
Keyword(s):
1977 ◽
Vol 18
(1)
◽
pp. 101-104
◽
Keyword(s):
Keyword(s):