Объект исследования: строение о-минимальных и слабо о-минимальных структур. Проведена оценка определимой сложности арифметических структур. Описана геометрия алгебраических замыканий в моделях полных теорий. Изучена эквациональная компактность дистрибутивных решеток. Область применения: математическая логика.