For citations:

Durnev V.G., Zetkina A.I. The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable. Chebyshevskii Sbornik. 2023;24(1):40-49. (In Russ.) https://doi.org/10.22405/2226-8383-2023-24-1-40-49