Рекурсивные однородные булевы алгебры
Рекурсивные топологические пространства.
Рекурсия на обобщенно-вычислимых ординалах
Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры.
Решетка рекурсивно-перечислимых подструктур эффективной системы замыканий
Решетки эквациональных теорий моделей.
Роль детерминизма в языках запросов для баз данных.
Рост длины секвенциального вывода при перестройке в натуральный
Сверхнезависимые суперинтуиционистские логики
Сводимости по перечислимости
Сводимость линейными по Жегалкину таблицами
Сводимость морфизмами
Сводимость частично-рекурсивных функций
Сводимость частично-рекурсивных функций, II
Свойства нерасщепимых типов в стабильных теориях.
Свойства плотности решетки степеней по отделимости.
Свойства разложимости тотальных степеней по перечислимости
Свойство t-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств
Связь между конструктивизируемостью и сильной конструктивизируемостью для различных классов абелевых групп.
Связь мощностей формульных подмножеств со стабильностью формул