Исследованы нетривиальные определимо минимальные лиевые кольца. Оценена алгоритмическая сложность классов предложений теории с простыми моделями. Исследованы алгоритмические и синтаксические свойства класса структур с двумя бинарными предикатами. Предложен вариант теоремы Райса для простых моделей.
