Формацией называют класс алгебраических систем, замкнутый относительно гомоморфных образов и конечных подпрямых произведений. В работе показано, что любая формация, состоящая из не более чем счетных унаров, является наследственной.
Популярные загрузки файлов
