Об элементарной теории пополнения разрешимой группы Баумслага–Солитера

Определяется делимое пополнение разрешимой группы Баумслага–Солитера $BS(1,n)$ и доказывается, что при некоторых ограничениях на $n$ элементарная теория этого пополнения алгоритмически разрешима.