Ещё раз о счетно-категоричных предложениях.
Жесткие конструктивные модули
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Инвариантные меры на булевых алгебрах и функции размерности на логиках
Инволюторные группы
Индексные множества классов гипер-гиперпростых множеств
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
Интерпретация графов в решетках размерности три.
Инъективные минимальные модули
Исчисление с квантором элементарной эквивалентности
Итерированные обогащения моделей счетных теорий и их приложения.
К описанию моноидов, над которыми все полигоны имеют -стабильную теорию
К теоремам о сохранении соотношений в K-пространствах
К теории моделей для интуиционисткой логоки
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
Категоричность в мощности и недвукардинальность формулы конечного ранга.
Категоричные квазимногообразия абелевых группоидов и квазигрупп.
Категоричные квазимногообразия квазигрупп.
Категоричные хорновы классы.I
Классы Мальцева с заданным свойством