Проблема разрешимости позитивной теории произвольной группы алгоритмически неразрешима

В статье доказано, что невозможно построить алгоритм, позволяющий по произвольному конечному заданию группы определить, разрешима ли ее позитивная теория. Указанное групповое свойство не является марковским, поэтому к нему не применима фундаментальная теорема Адяна – Рабина.