СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Касальс-Руис M., Казачков И. В. Два замечания о теориях первого порядка групп Баумслага — Солитэра // Том 53 (2012), Номер 5, стр. 1007–1012
Охарактеризованы конечно порожденные
группы, элементарно эквивалентные
разрешимым группам Баумслага~--- Солитэра $\operatorname{BS}(m,1)$.
Доказано, что конечно порожденная
группа $G$ элементарно эквивалентна $\operatorname{BS}(m,1)$
тогда и только тогда, когда $G$
изоморфна $\operatorname{BS}(m,1)$.
Также показано, что две группы Баумслага~--- Солитэра универсально
(экзистенциально)
эквивалентны тогда и только тогда, когда они элементарно эквивалентны,
что равносильно их изоморфности.
© Сибирский Математический Журнал, 2003-2006