Инвариантные меры на булевых алгебрах и функции размерности на логиках
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
Конструктивизируемость суператомных булевых алгебр.
Конструктивные модели полных разрешимых теорий.
Лексикографические степени линейно упорядоченных множеств.
Локальный метод и теорема компактности для топологических алгебраических систем
О нумерациях насыщенных и однородных моделей
О полных теориях с конечным числом счетных моделей.
О финитно редукционных классах моделей
О числе неавтоэквивалентных конструктивизаций
Об элементарной эквивалентности топологических пространств
Сильная конструктивизируемость однородных моделей.
Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
Сильно конструктивная модель без элементарных подмоделей и расширений.
Сильные и слабые конструктивизации и вычислимые семейства.
Сколемовские функции и конструктивные модели.
Сравнение топологической и реляционной семантик суперинтуиционистских логик
Теория A-пространств.
Теория с двумя сильно конструктивизируемыми моделями.
Универсальные расширенные теории целых чисел