Область исследования: вычислимые нумерации семейств множеств иерархии Ершова и экспоненциальные классы сложности. Построены семейства разностей вычислимо перечислимых множеств с бесконечной слабо дистрибутивной полурешеткой Роджерса. Для каждого уровня иерархии Ершова доказано существование вычислимых семейств. Введены понятия слабой полноты (тривиальность и сильная тривиальность).
