Автоустойчивость булевых алгебр с выделенным идеалом

Изучается спектр возможных алгоритмических размерностей булевых алгебр с выделенным идеалом. Получен алгебраический критерий автоустойчивости для данного класса булевых алгебр, причем если булева алгебра не автоустойчива, то класс ее конструктивизаций эффективно бесконечен.
Библиогр. 6.