Элементарная теория решёток $l$-идеалов абелевых $l$-групп

Даётся описание решёток идеалов свободных векторных решёток $\mathcal F_n$ с конечным числом $n$ свободных порождающих. Доказывается, что элементарная теория решёток $l$-идеалов абелевых решёточно упорядоченных групп неразрешима, что даёт ответ на проблему 5.20 из “Коуровской тетради”.