Критерий сильной конструктивизируемости однородной модели.
Критические теории
Критические теории многообразий нильпотентных колец
Лексикографические степени линейно упорядоченных множеств.
Локальные классы и вычислимые индексации
Локальный метод и теорема компактности для топологических алгебраических систем
Любое семейство подмножеств праэлементов порождает допустимое множество.
Матричные иерархии языков первого порядка и их приложения.
Минимальные модули над прюферовыми кольцами.
Модальные логики и многообразия модальных алгебр: свойства Бета, интерполяция и амальгируемость
Модели суперстабильных хорновых теорий
Моделирование пульсирующего процесса
Модельная полнота теории и оценка формул
Модельно полные теории деревьев.
Модельно полные теории ограниченных унаров.
Модельное пополнение теории унарных алгебр
Модельные компаньоны квазимогообразий полигонов.
Модули с почти категоричной теорией.
Монады проультрафильтров и экстенсиональных фильтров.
Моноид, над которым класс регулярных полигонов полон, не модельно полон.