Изучены линейно минимальные йордановы алгебры в характеристиках отличной от 2 и получена полная классификация, также изучены линейно минимальные квадратичные йордановы алгебры, в основном в характеристике 2. Рассмотрены полные теории Т-счетного языка первого порядка, получено расширение теоремы Морли о несчетно категоричных теориях. Исследована экзистенциональная интерпретируемость вычислимых алгебраических структур. Получены оценки истинной сложности практических алгоритмов и доказаны свойства некоторых вычислимых нильпотентных групп. Получено доказательство условия существования счетной модели с главными типами. Найдены достаточные условия существования нумерации Фридберга семейства всюду определенных функций в арифметической иерархии. Описаны семейства всюду определенных функций в арифметической иерархии без главных нумераций.*