Автоустойчивость моделей

Найден общий метод доказательства неавтоустойчивости, позволивший получить критерии автоустойчивости для дистрибутивных структур с относительными дополнениями и линейных порядков. Доказана неавтоустойчивость некоторых других структур. Для всех неавтоустойчивых структур из этих классов доказана эффективная бесконечность класса неавтоэквивалентных конструктивизаций.