Специалист в области топологии, математической логики и теории моделей. Им найдены характеристики аксиоматизируемых и конечно аксиоматизируемых классов моделей и критерии элементарной эквивалентности двух алгебраических систем; указаны критерии топологизируемости и конструктивной топологизируемости счетных алгебр.