Мной (как в соавторстве с другими исследователями, так и лично) были получены результаты о сложности строения решеток квазимногообразий, решеток подсистем, других производных систем. Было получено синтаксическое описание тех или иных классов систем или доказано, что такого описания не существует. Кроме того, был получен ряд результатов о независимой базируемости классов, а также были построены классы систем, имеющие максимальную структурную сложность, в которых неразрешимы те или иные алгоритмические проблемы.
Существование таких классов систем максимальной сложности играет основополагающую роль в жизни, поскольку демонстрирует сложность и бесконечное многообразие нашей вселенной и доказывает неслучайность и небесполезность нашего существования в ней - каждого исследователя где-то ждет его задача. Более глобально, каждого человека где-то ждет его задача. :)