ω-models of second order arithmetic and admissible sets
ωι-Sonslin trees under countable support iterations
We show the property “is proper and preserves every -Souslin tree” is preserved by countable support iteration.
Аксиома сравнимого выбора и униформизуемость проективных классов.
Вполне замкнутые отображения и совместимость некоторых теорем общей топологии с аксиомами теории множеств
Из принципа селектора для аналитических отношений эквивалентнисти не следует существование полного -упорядочения континуума
Инварианты квазиклеток итеративных алгебр Поста.
Интуиционистская теория алгебраических систем и гейтинговозначный анализ.
Использование ультрапроизведений в теории операторов. Простое доказательство теоремы Бишопа
Итерированные операции и R- операция
К вопросу Л.В.Келдыш о структуре борелевских множеств
Лексикографические степени линейно упорядоченных множеств.
Независимостъ континуум - гипотезы
Неразрешимые и разрешимые свойства конституант
Нестандартный анализ и аксиома детерминированности
О Борелевых типах некоторых классов арифметических действительных чисел
О возможном решении обобщенной континиум-проблемы.
О генетических моделях.
О границах применимости принципа рефлексии.
О единственности линейных продолжений частичных порядков
О квазикомпонентах несвязных множеств