Обобщенно-конструктивный континуум.
Общая теория бесконечно малых.
Один подход к построению конструктивных аналогов теории множеств
Определение арифметических операций в модели Аккермана
Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.
Письмо в редакцию:Форсинг в допустимых множествах
Порядково непрерывные функционалы в булевозначных моделях теории множеств.
Построение определимых степеней конструктивности.
Размерность Хохшильда-Митчела линейно упорядоченных множеств и гипотеза континуума.
Сильно минимальные модули над дистстрибутивными справа кольцами
Синтез метода резолюций с обратным методом
Слабая коммутативность рассеянного суммирования линейных порядков
Субдифференциалы в булевозначных моделях теории множеств
Суммы степеней бинарных отношений
Теоремы переноса и алгебра модальных операторов.
Форсинг в допустимых множествах