Неразрешимые универсальные теории решеток подгрупп абелевых групп А.М. Слободской; Э.И. Фридман — 1976 Algebra i Logika