1. Dudakov S.M. On Undecidability of Finite Subsets Theory for Torsion Abelian Groups // Mathematics. 2022. V.10. Issue 3. art.no.533.