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