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