- Article
On Undecidability of Finite Subsets Theory for Torsion Abelian Groups
- Sergey Mikhailovich Dudakov
Let M be a commutative cancellative monoid with an element of infinite order. The binary operation can be extended to all finite subsets of M by the pointwise definition. So, we can consider the theory of finite subsets of M. Earlier, we have proved...

