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

АННОТАЦИИ

Шабунин Л. В. О конечно-определенных и свободных алгебрах многообразий Кантора // Том 38 (1997), Номер 2, стр. 450–462
Доказана разрешимость элементарных теорий
произвольной конечно-определенной
алгебры и произвольного
класса свободных алгебр из многообразия Кантора.
Установлено также, что любые
две свободные алгебры из этого многообразия
элементарно эквивалентны. Библиогр.~15.
© Сибирский Математический Журнал, 2003-2006