|
Алгебра и логика, 1982, том 21, номер 6, страницы 721–738
(Mi al1793)
|
|
|
|
Об универсальной определимости классов Мальцева
Д. М. Смирнов
Аннотация:
Известная теорема Пиксли-Вилле о конгруэнц-квазитождествах обобщается на случай универсальных конгруэнц-формул. Доказано, что любое дизъюнктивное конгруэнц-тождество определяет $M_\sigma$-класс, который может не иметь типа $M_\delta$. Указаны простые примеры проективных, но не аксиоматизируемых классов алгебр.
Поступило: 22.12.1981
Образец цитирования:
Д. М. Смирнов, “Об универсальной определимости классов Мальцева”, Алгебра и логика, 21:6 (1982), 721–738
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1793 https://www.mathnet.ru/rus/al/v21/i6/p721
|
|