Алаев П.И. Автоустойчивые I-алгебры

Статья. — Алгебра и логика, 2004. — Т. 43 — №5. — С. 511–550.Работа посвящена описанию автоустойчивых I-алгебр, т. е. булевых алгебр с конечным числом выделенных идеалов. Исследования свойств I-алгебр тесно связаны с исследованием булевых алгебр и проводились многими авторами. В данной работе для этого класса моделей в чисто алгебраических терминах описываются его автоустойчивые элементы, т. е. решается классическая задача теории конструктивных моделей: для каких структур проблема существования различных алгоритмических представлений не возникает.