“Disorder” in lattices of binumerations
Автоустойчивость и вычислимые семейства конструктивизаций.
Алгебра частично рекурсивных функций
Алгебры рекурсивных функций
Верхняя полурешётка .
Верхняя полурешетка нумераций конечного множества.
Двухэлементное отделимое нумерованное множество с неразрешимой проблемой .
Дополнение к статье Ю.Л.Ершова"Верхняя полурешетка нумераций конечного множества".
Исчисления равенств для классов Гжегорчика
Исчисления с монотонными выводами и их экономическая интерпретация
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
Классификация пространств операторов конечных типов
Конструктивизируемость суператомных булевых алгебр.
Конструктивная классификация арифметических предикатов и семантические базисы арифметики
Конструктивные модели полных разрешимых теорий.
Критерий сильной конструктивизируемости однородной модели.
Наследственно эффективные операции
Некоторые вопросы обобщенной вычислимости.
Некоторые вопросы теории рекурсивных функций.
Некоторые свойства алгебры всех частично рекурсивных функций