Конечная аксиоматизируемость подкласса К внутри класса L означает, что К состоит их тех алгебр класса ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Мальцев А.И. Избранные труды Математическая логика и общая теория алгебраических систем Том2


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

(cкачать страницу)

Смотреть книгу на libgen

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