Исследованы алгоритмические и структурные свойства моделей логики предикатов и алгебр Линденбаума, свойства групп автоморфизмов однородных моделей. Получена алгоритмическая характеризация алгебр Линденбаума ряда семантических классов моделей. Установлено, что неподвижное поле любой конечной генерической последовательности автоморфизмов сепарабельно замкнутого поля регулярно замкнуто. Построены предельно устойчивая модель, имеющая бесконечно много конструктивизаций, а также автоустойчивая конструктивная модель, не являющаяся предельно устойчивой. Область применения: математическая логика.