Отношение поглощения на регулярных множествах
Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках
Отсутствие интерполяции и свойства Бета во временных логиках с оператором "The next''
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Оценка сложности индексных множеств семейств общерекурсивных функций, в арифметической иерархии.
Перестановки и неявная определимость
Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.
Письмо в редакцию
Письмо в редакцию
Письмо в редакцию:Форсинг в допустимых множествах
Плотность решетки -степеней условных проблем
Подалгебры конечно-определенных лиевых алгебр.
Подгруппы ограниченного вычета в ультрапроизведениях конечных групп.
Подкольца конечно-определенных ассоциативных колец.
Подходы к теории обобщенной вычислимости
Позитивная рудиментарность графиков функций Аккермана и Гжегорчика
Позитивные алгебры с конгруэнциями конечного индекса.
Позитивные алгебры со счетными решетками конгруэнций
Позитивные нумерации семейств с однозначными нимерациями
Позитивные теории свободных моноидов