Создана методика формального описания синтаксиса и семантики продукционного языка программирования. Разработан язык спецификации цифровых систем для описания поведения и структуры цифровых систем. Найден способ формализации истинности формул ТLА в моделях логики предикатов первого порядка. Получено описание малых о-минимальных теорий. Доказаны фундаментальные теоремы о слабо о-минимальных счетно-категоричных теориях.