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