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