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